Seh ich das richtig, dass dmesg ausgibt, dass 3.x von 4.x GB frei sind, also die 4GB erkannt werden?
In der Kernel-config könntest mal highmemory support auf 64GB stellen.
Maybe ist es aber auch ein Setting im BIOS, das du tätigen mußt.
Auch noch ein Ansatz:
http://lists.us.dell.com/pipermail/l...er/040759.html
--> Ohne zu wissen, welchen Chipsatz du verwendest. Darüberhinaus, falls Hotplug aktiviert ist, benötigt das auch einen Haufen reservierten RAM.
____________________________________
Linux is like a wigwam:
No windows, no Gates, Apache inside.