You might be interested in https://en.wikipedia.org/wiki/Unikernel