exokernel

A minimal piece of privileged code, similar to a microkernel but providing a more 'hardware-like' interface to the tasks it manages. This is similar to a paravirtualising VMM like Xen but was designed as a new operating system structure, rather than specically to run multiple conventional OSs.