While Cosmos is interesting for the same reasons Singularity is interesting - and I'm very much in favour of any OS which tries to focus on security, verifiability and correctness - from my little knowledge of the system, it doesn't really seem different enough. Theres countless toy, research and hobby OS projects out there, some more ambitious than others, and few truly try to innovate. Now, I'm not very familiar with Cosmos, so its unlikely that I'm giving them enough credit and I apologise for that.

What I want to see is an operating system which forgets all the technologies which were a great idea 20 years ago, but may not be so suited to todays computing world. We have a lot of computing power available to us now, so we can try some truely innovative idea cheaply and easily. I want to see highly extensible systems, applications which are hugely parallel from kernel up, I want to see orthogonal persistence, I want a system which can determine what applications to run for me, so that I dont have to and can simply focus on the task at hand - getting work done. I dont ever want to have to think about filesystems and directory structures again. I want to be able to see the internals of the running system in a REPL, if I so choose. If I'm using, say, an instant messenger and I'm typing text, I want to be able to use vim (or whatever your favourite editor is) to edit that text!

Ok, some of these may not be great ideas or very realistic - the point I'm trying to make is that I want to see operating systems truely try to achieve something different in an end-user (ie not simply for research) OS.

This is the type of system I envision to run on such a computer, were it to exist!

End of Rant ;-)

Well, hopefully there'd be a few competing OSes for it. I'd love to see Singularity on it, and of course I wouldn't mind seeing Renraku (my own managed OS, which inspired this) running on it.