AFAIK, there's a port of FreeBSD's bhyve to MacOSX called xhyve. You might want to check it out.