Singularity
あとでkwsk調べる予定(その2)。カーネルからドライバから全部 managed code ですか…。
Singularity is a microkernel research operating system, where the kernel, drivers, and applications are all written in managed code.
http://www.osnews.com/story/20547/Singularity_RDK_2_0_Initial_Release