* Frank Fiene ([EMAIL PROTECTED]) [20070604 11:30]:
> Also 32bit Linux kernel should be fine with PAE, not?
Yes, it is. But in order to get a 32bit kernel that supports PAE, you need
to replace the installed kernel-default package by the kernel-bigsmp one.
And even then you might not see the whole 4 GiB, because the BIOS reserves
some address space for PCI devices.
Philipp
--
Anything whose specification is too complicated to explain easily probably
needs to be redesigned.
David Abrahams on boost
--
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
