- Kernel hangs when bringing online additional cpus--no working SMP
- PV drivers for net and disk needed. Probably easy to take from NetBSD
- System needs testing for stability
An old (2012?) comparison of 4 BSDs on Xen and KVM: https://gmplib.org/~tege/virt.html