Unter Debian mit Xen-Kernel zeigt die Dom0 nur rund 3,5 GigaByte Gesamtspeicher.
Mit viel Suchen ist das Problem letztendlich in einem fehlerhaften Pointer im Grub-Bootmanager aufgetaucht.
Warum dies nur mit dem Xen-Kernel auftaucht und nicht mit dem std. Kernel entzieht sich meiner Kenntnis.
Lösung:
Wie üblich in Kurzform:
cd /usr/local/src apt-get source grub apt-get build-dep grub cd grub-0.97/ #Backup und Bearbeiten cp -a stage2/common.c stage2/common.c.original vim stage2/common.c #suchen nach der Zeile: # unsigned long cont, memtmp, addr; #und aufteilen in zwei und setzen von "volatile": # unsigned long memtmp, addr; # volatile unsigned long cont; #kompilieren und installieren debian/rules binary cd .. dpkg -i grub_0.97-27_i386.deb #Grub-Bootloader schreiben grub-install /dev/hda