Thanks for your report. Your information was the first evidence that
a memory hole caused Linux to get an incorrect memory size. I've
checked in my patch right now, so I think the CVS version will fix
your problem. But if you still want to use the release version, just
pass the "mem=" option to Linux.

Okuji

Reply via email to