Singularity
Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. The Singularity Research Development Kit (RDK) 1.1 is now available for academic non-commercial use. The official site for Singularity can be found here:
http://research.microsoft.com/os/singularity/