Changed my mind on the kernel design again, what a surprise! :) Going
with a microkernel idea and trying to keep some performance sensitive
parts (such as VMM) in the kernel.