Hello In the latest gnumach upload, I have added smp and pae variants of the kernel. pae should be relatively fine and allow to access more than 3G memory. smp is completely experimental, and needs fixing here and there, it seems like irq routing, notably, needs fixes, but at least people can easily try.
Samuel
