KML
Kernel Mode Linux is a Linux OS variant which execute user processes in kernel mode.In conjunction with TAL it could provide a no-kernel system. See Toshiyuki Maeda master thesis "Safe execution of user programs in kernel mode using Typed Assembly Language" ( .pdf, .ps ).
This page is linked from: Microkernel Debate