In case you're interested in #LibOS'es and #unikernels: Microsoft has seemingly published their own work-in-progress library operating system, which contains cool binary translation techniques as well as what seems to be an open-sourced implementation of Hyper-V fast hypercalls.
