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