Descartes' Daemon is a "middleware" operating system for virtual machines. - View it on GitHub