An operating system is interposed between applications and the physical hardware. Therefore, its structure has a dramatic impact on the performance and the scope of applications that can be built on it. Since its inception, the field of operating systems has been attempting to identify an appropriate structure: previous attempts include the familiar monolithic and microkernel operating systems as well as more exotic languagebased and virtual machine operating systems. Exokernels dramatically depart from this previous work. An exokernel eliminates the notion that an operating system should provide abstractions on which applications are built. Instead, it concentrates solely on securely multiplexing the raw hardware: from basic hardware primitives, applicationlevel libraries and servers can directly implement traditional operating system abstractions, specialized for appropriateness and speed.

Website: http://www.pdos.lcs.mit.edu/exo.html