I believe they would just need to virtualize what isn't already provided by xnu-darwin.

This may already be the case, but the memory allocation for docker vm on mac really handicaps things.