If you're interested in Singularity, do read Joe Duffy's blog on Microsoft Research's later Midori project. Basically a C#-ish OS based on OO principles, with interesting ideas about memory safety, concurrency and errors in a system that compiles down to native code.