This presentation that Mike published in March may be helpful for those interested in the OpenBSD hipervisor. There has been a lot of development since, but the general structure and interoperation between vmm(4), vmd(8), vmctl(8), virtio(4) devices, and virtual CPUs is well described.