Yeah, I'm surprised and relieved that they haven't set off to write their own OS.

I think that's kind of what he did at MSFT, but now he's a tenured professor at Harvard.