exolu

Exolu is a separation of the Linux kernel into two parts: an exokernel and a library. The exokernel consists only of the implementations for basic hardware resource access and drivers, but no abstractions. The library implements the abstractions and interfaces that are used by programs to interact with the kernel.