Singularity (Score 2, Interesting)

I think the best chance they'd have at restarting would come from the Singularity team http://research.microsoft.com/os/Singularity/

The best thing that comes from this is the following:
* Written in managed C# code
* Statically verified
* Runs in software isolated processes (SIPs)
* Excellent performance due to not needing hardware protection for buffer overruns

Just a thought. You can find it on CodePlex right now at: http://codeplex.com/singularity/