config vmunix root on dk0 swap on dk0 and dk1
controller vd0 at vba? csr 0xffff2000 vector vdintr
device vx0 at vba? csr 0xfffe0000 vector vackint vcmdrsp vunsol
device mp0 at vba? csr 0xffff5000 vector mpintr mpdlintr
device mp1 at vba? csr 0xffff5100 vector mpintr mpdlintr
device ace0 at vba? csr 0xffff0000 flags 0xfff80003 vector acecint acerint
device enp0 at vba? csr 0xfff41000 vector enpintr