<A HREF="http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/"
  >Kernel Mode Linux</A> 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"
(
<A HREF="http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/tosh_master_kml_e.pdf"
  >.pdf</A>,
<A HREF="http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/tosh_master_kml_e.ps"
  >.ps</A>
).
