Comment by bsder

Sandia seems to have some form of kernel, but only Federal-associated entities can get access to it.

It would be interesting to see if they would license that out further for some amount of money.