Singularity

Channel 9 has some new videos about Singularity, an experimental research OS that is (almost) entirely written in Spec#, a superset of C# (only a very small part of the kernel is written in assembly). The technology they’re researching is just awesome. Here are links to the videos:

• Singularity: a research OS written in C#
• Singularity Revisited
• Singularity Ⅲ: Revenge of the SIP
• Singularity Ⅳ: Return of the UI (demo of Singularity)