Isn't that a unikernel [0]?

I've been wanting to try Hermitcore [1] for a while.

[0] https://en.wikipedia.org/wiki/Unikernel

[1] https://github.com/hermitcore/libhermit