For one reason or another it would be awesome to write an Operating System in X, where X is some specific language or environment with some specific property. I'm really excited about the work from Microsoft Research about an OS written entirely in managed code:
... but what's next? What about richER client experiences. What then? Would having the ability to launch processes, start threads, managed a windowing layer help out?