All of these things are ultimately abstractions built on top of POSIX (aside from actual unikernels which can be used in the virtualization scenario)
It absolutely does free OS designers to remove the POSIX parts from in between, but no one really has yet