Get your own Singularity (Research OS written in Managed Code) - The Singularity Research Development Kit (RDK) 1.1 is now freely available for academic non-commercial use

hacked.brain - Singularity OS now available for download

"Just saw this over on Ars, the Singularity OS from Microsoft Research is now available for download. ..."

Microsoft Research - Singularity

"The Singularity Research Development Kit (RDK) 1.1 is now freely available for academic non-commercial use. You can download it from CodePlex, Microsoft's open source project hosting website, here.

...

Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are building a research operating system prototype (called Singularity), extending programming languages, and developing new techniques and tools for specifying and verifying program behavior.

..."

Singularity CodePlex Project - Singularity RDK 1.1

"This is the initial public release of the Singularity Research Development Kit (RDK) based on the Microsoft Research Singularity project. Enjoy!

..."

From the Building and Running Singularity RDK 1.1.pdf document

"Building and running Singularity is quite simple. The Singularity source code includes all tools needed to build and boot Singularity. Because Singularity will run in a Virtual PC, creating a test deployment of Singularity is, hopefully, trivial. This document describes the steps to build the Singularity source code and boot your Singularity image into Virtual PC or real hardware. The following sections describe each step.

1. Resources
The Singularity source code contains all of the sources and tools required to build and boot Singularity. However, the Singularity source code does not contain a source code editor; you must provide these tools yourself. You‟ll need approximately 250MB of free disk space to install and 1.5GB of free disk space to build Singularity plus all the applications and 512MB of available RAM.
..."

Nice timing... I just listened to an audio cast on the drive home yesterday about Singularity (Software Engineering Radio - Episode 88: The Singularity Research OS with Galen Hunt)

And yes, you get RDK is the full Singularity OS, with all of its source (including Sing# source, which was built on Spec#, which was built on C#...)

I kind of wish they just provided the VHD, but then again for something like this that would take away some of the fun, wouldn't it? :)