The Inferno Operating System/Virtual Machine

Inferno is a operating system created by the same team at Bell Labs that created Unix and Plan 9. It uses the same 9P distributed file system protocol (in Inferno lingo known as ‘Styx’), but it can run as a virtual machine on top of other operating systems as well as directly on hardware (specially well suited for embedded environments thanks to not requiring a MMU).

It is also written in a new language Limbo that uses the CSP model for concurrent programming.