<A HREF="http://www.cs.cornell.edu/slk/">SLK</A>, 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).
