1. Argo: An Exascale Operating System (Accessed: Jan 2015). http://www.mcs.anl.gov/project/argo-exascale-operating-system. Argo: An Exascale Operating System (Accessed: Jan 2015). http://www.mcs.anl.gov/project/argo-exascale-operating-system.
2. Kitten: A Lightweight Operating System for Ultrascale Supercomputers (Accessed: Jan 2015). https://software.sandia.gov/trac/kitten. Kitten: A Lightweight Operating System for Ultrascale Supercomputers (Accessed: Jan 2015). https://software.sandia.gov/trac/kitten.
3. The multikernel
4. Hobbes