Ingenix is a novel approach to distributed computing and is an exiting attempt to alter the Operating Systems landscape that hasn't really changed much in over 30 years. It is based on an exokernel architecture and written from scratch.
Ember is an operating system based on the MIT Exokernel design. Currently, it only supports the IA-32 architecture.
Galileo is an Open Source glass cockpit infrastructure for general aviation use. It is designed around a modular and robust CANbus-based architecture with a distributed network of sensors and display panels.