There is similar "Erlang as an OS" project
It is used for embedded systems but can work on a larger system too I suppose.
Basically it is just a kernel (for drivers) and on top (init) is Erlang VM.
The interesting aspect is an Erlang process is similar to a modern OS process -- has an isolated heap. So it kind of maps elegantly to an safe embedded multi-process OS.
Find the Erlang Factory talk by Frank Hunleth for more details.