From 1990 to 1995, he designed the real-time executive of the ChorusOS microkernel.
1990年から1995年にかけて、彼は、ChorusOSマイクロカーネルのリアルタイム実行性を設計していた。