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:
Joern