Renraku was very heavily inspired by Singularity. They went with more of the formal verification approach, which I thought was unnecessary for a desktop OS (which is what I was building). Also, I went 100% pure-managed, where Singularity has some hand-written assembly and C.