BitVisor is a tiny hypervisor initially designed for mediating I/O access from a single guest OS. Its implementation is mature enough to run Windows and Linux, and can be used as a generic platform for various research and development projects.
LogoROS is new object-oriented operation system (currently in early development). See wiki page: https://sourceforge.net/apps/mediawiki/logoros/ and development blog: https://sourceforge.net/apps/wordpress/logoros/ for more info.