Great information and insight into what the SharpOS folks are doing. Singularity, Spec#, Sing#, House (which I didn’t know about), and other cool technologies are also mentioned.

It’s unfortunate for me that they opted to use GPL v3.0 as their license since I can’t look/play with the code (since I will be “tainted” :-(.