[blasdel]

You're asking for unikernels, which have had a recent renaissance: http://unikernel.org/projects/

Some of the density advantages depended on Paravirtualization, which is quite difficult to make safe against Meltdown: https://xenbits.xen.org/xsa/advisory-254.html