SLK, the Safe Language Kernel Project is developing an OS infrastructure for extensible systems.

SLK relies on the properties of type-safe languages (specifically Java) in order to enforce protection boundaries between applications and the OS itself which means that all code can run in a single address space and at a single hardware privilege level (an example of a no-kernel system).

This page is linked from: Microkernel Debate