I'm not super familiar with the concept, but isn't this sort-of what a "unikernel" is?