A kernel designed to run one and only one application in a virtualized environment
Primary LanguageCApache License 2.0Apache-2.0