There've been a couple of recent developments of note regarding Microsoft's 'Midori' skunkworks operating system project.
Microsoft's Midori: The M# connection
Microsoft's Midori: The M# connection