Eric Hattemer wrote:
If HIGHMEM4G is already set, you could try setting HIGHMEM64G instead.
Oops, if this isn't clear, I mean grab a new kernel source, and configure it with this option, then install the new kernel. Editing a /boot/config-* or /proc/config.gz doesn't do anything.
-Eric Hattemer
