It runs on top of a user-space virtual machine (xhyve, IIRC) that runs on Hypervisor.framework that IS running linux.