Five years after it began work on Singularity, an operating system research project focused on constructing dependable systems, Microsoft has released a research development kit to the academic and research community. The terms of the license make Singularity free software, not open source software. Singularity is written in Sing#, an extension of C# that “provides verifiable, first-class support for OS communication primitives as well as strong support for systems programming and code factoring.”
Microsoft Invites Researchers to Tinker With ‘Singularity’ OS
Posted by: Richard Adhikari March 5, 2008 02:16 PMFive years after it began work on Singularity, an operating system research project focused on constructing dependable systems, Microsoft has released a research development kit to the academic and research community. The terms of the license make Singularity free software, not open source software. Singularity is written in Sing#, an extension of C# that “provides verifiable, first-class support for OS communication primitives as well as strong support for systems programming and code factoring.”