Exokernels: http://pdos.csail.mit.edu/exo.html
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.
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.
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?