I am uncomfortable having what amount to be sci-fi versions of Unix and VMS to chose from. What would be a cutting-edge, legacy-free OS these days?
Though sadly this page is from 1998. But there are some people who are still working on Exokernels. You can meet them here at HN.