Singularity OS

Wednesday, November 19 2008

Microsoft Research has been building an operating system prototype  extending programming languages while developing new techniques with tools for specifying and verifying program behavior.

Singularity RDK 2.0 Initial Release

The 2.0 release of the Singularity Research Development Kit (RDK), includes many major updates to the platform:

  • Support for AMD 64-bit platforms
  • Updates to the Bartok MSIL-to-native compiler and the Sing# compiler
  • A new, more modern and extensible bootloader
  • Several new applications and application documentation
  • Eventing support
  • More extensive ACPI support
  • A unit testing library
  • A ramdisk device
  • An SMB client service
  •