Googling a bit I found another operating system called TabulaROSA.
Designed by MIT it works on 32k core supercomputers, if you or your company can afford a system like that, it could be a good option.
Many overlaps between database systems and the functions required for an OS on a cluster, In the case of TabulaROSA, however, the functions are managed within database tables instead.
Quoted from the article:
The team defines key OS functions in terms of “rigorous mathematical
semantics (associative array algebra) that are directly translatable
into database operations. Because the math of database table
operations are based on a linear system over the union and
intersection semiring, these operations possess a number of
mathematical properties that are ideal for parallel operating systems
by guaranteeing correctness over a wide range of parallel operations.
Simulations of forking in TabularROSA are performed by using an
associative array implementation and are compared to Linux on a
32,000+ core supercomputer. Using over 262,000 forkers managing over
68,000,000,000 processes, the simulations show that TabulaROSA has the
potential to perform operating system functions on a massively
parallel scale. The TabulaROSA simulations show 20x higher performance
compared to Linux, while managing 2000x more processes in fully
searchable tables
You can get more information about it on:
or in this PDF paper: