Kernel Mode Linux

Японцы работают:

http://www.springerlink.com/content/jebgb10vfu4e4dcx/

http://web.yl.is.s.u-tokyo.ac.jp/~tosh/kml/

http://www.linuxjournal.com/article/6516

Почти то, что я хотел: программа работает в kernel mode. Теперь это надо скрестить с верификатором, например, взятым из google native client.