Kernel Mode Linux

http://www.radiumsoftware.com/0609.html#060906

同様のアイデアは Microsoft Research による Singularity プロジェクト [Microsoft] などにおいても研究が行われているが，その研究が数年前の時点で既に大学院の研究室において行われていたという事実は面白く感じられる。

ぐは。一応、公平のために説明しておくと、安全なプログラミング言語でOSカーネル保護というアイディア自体は大昔から存在しています（Lisp OSやSPIN OSなど）。KMLの研究としての貢献は、Modula-3やJavaのような高級言語ではなくTALを利用することで性能を向上したのと、（ここが前田氏の頑張った点なわけですが）Linuxをベースとしているので、TALじゃない普通のプログラムも、しかるべき権限があれば、保護あり・保護なしのどちらでも実行できるところにあります。