SLK
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