SPIN

SPIN OS from University of Washington, which allows applications to migrate code in kernel space, implementing new functionality or replacing default policies. It's an example of no-kernel system.

This page is linked from: Microkernel   Microkernel Debate   Modula-3