nanos

A kernel designed to run one and only one application in a virtualized environment