A managed OS
I've been poking around for operating systems or operating system-like environments written in managed environments. The two I could find pretty easily are Nachos and the fascinating Singularity project from MSR (which has very little public information). I have a little idea in mind for which I'm looking at previous work in the field.
Does anyone know of related work? Help would be deeply appreciated :-)