Isn't part (majority) of their Singularity OS written in C#? I've been waiting to see if they were ever going to release the realtime GC as part of that project to the C# community at large.