Is there any way to also provide a 32bit PAE
(64GB High Memory Support) kernel
? This is is pretty usefull for 4gb machines running 32bit as the usual kernel
provides only 3gb. And no, 64bit is not an option ..
as it makes no sence for me with only 4gb compared to the overhead.
There is not much work with it, as its a simple kernel