There's also https://virt-manager.org/ as a GUI for QEMU. Brew forumular here https://github.com/jeffreywildman/homebrew-virt-manager. But they don't mention HVF support, so I'm not sure it'll work