How To Make Your Xen-PAE Kernel Work With More Than 4GB RAM (Debian Etch With GRUB)
If you have a server with more than 4GB RAM and want to install a 32bit Debian Etch on it (following this tutorial: Debian Etch And Xen From The Debian Repository),
you’d expect the Xen-PAE kernel to see all your RAM because the Xen-PAE
kernel supports up to 64GB RAM. In fact, it recognizes only about 3.3GB
RAM due to a bug in the GRUB bootloader. This article explains how you
can fix GRUB so that all your RAM gets recognized.