This is a research project that aims to build a multi-threaded operating system environment for wireless sensor networks, called LiteOS, that implements a few novel features for wireless sensor network software development.
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.