Just in case anybody is interested: Last October, VMware published a technical preview of their hypervisor "ESXi" for the ARM processor. As the Raspberry Pi 4B is supported, it's quite easy to give it a try.
Within no time, Jared McNeill had NetBSD running as a guest. As his instructions were rather short, I have written a slightly more verbose how-to: https://www.my-it-brain.de/wordpress/running-a-netbsd-virtual-machine-on-vmware-esxi-on-arm-fling/ Joern -- Joern Clausen https://www.oe-files.de/photography/