Isn't that basically a heavier version of a unikernel?