1. FFMK
: A Fast and Fault-tolerant Microkernel-based System for Exascale Computing (Accessed: Mar 2016). http://ffmk.tudos.org/. FFMK: A Fast and Fault-tolerant Microkernel-based System for Exascale Computing (Accessed: Mar 2016). http://ffmk.tudos.org/.
2. Kitten: A Lightweight Operating System for Ultrascale Supercomputers (Accessed: Mar 2016). https://software.sandia.gov/trac/kitten. Kitten: A Lightweight Operating System for Ultrascale Supercomputers (Accessed: Mar 2016). https://software.sandia.gov/trac/kitten.
3. Popcorn Linux (Accessed: Mar 2016). http://www.popcornlinux.org/. Popcorn Linux (Accessed: Mar 2016). http://www.popcornlinux.org/.
4. rkt - App Container runtime (Accessed: Mar 2016). https://github.com/coreos/rkt. rkt - App Container runtime (Accessed: Mar 2016). https://github.com/coreos/rkt.
5. The multikernel