I have a couple of boxes at home right now running NetBSD as dom0 w/xen3 and linux/freebsd/netbsd running as PV guests if I get a chance I will move them to some more modern HW and see what happens with NetBSD and multiple cores... Think one of them is a dual core right now but gotta check...

In any case NetBSD PV Kern on a small AWS might be a great combo for cheap BSD thrills....

RB