Unikernel monitors: extending minimalism outside of the box
Terra: a virtual machine-based platform for trusted computing