[fulafel]

Some microkernel based systems have more monolithic designs where there's one big "most of the os" server that might be derived from a BSD or Linux kernel and the microkernel's role is more like a hypervisor.