A kernel designed to run one and only one application in a virtualized environment - View it on GitHub