Sorry, maybe I wasn't clear.
We are talking about HPC computing and how Linux being the only viable choice leads to stagnation.
You are proposing those OSes advance the status quo (and I agree) but how is it that HPC computing is stagnated because Linux is the only viable option? If anything, HPC would be an awesome testbed for those experimental OSes and they still choose Linux.
Where's HPC stagnated because awesome ideas from other OSes can't be used?
Finally, are these other ideas so extremely awesome that they require a new OS from scratch (with all the uphill battle that it's to create it)? Can they be implemented on top of the Linux kernel? In which case, is Linux's success really such a bad thing?