config vmunix root on dk0 swap on dk0 and dk1 and dk4
config tvmunix root on dk1 swap on dk0 and dk1 and dk4
controller vd0 at vba? csr 0xff2000 vector vdintr
controller vd1 at vba? csr 0xff2100 vector vdintr
controller cy0 at vba? csr 0xff4000 vector cyintr
device yc0 at cy0 drive 0
device vx0 at vba? csr 0xfe0000 vector vackint vcmdrsp vunsol
device vx1 at vba? csr 0xfe4000 vector vackint vcmdrsp vunsol
device vx2 at vba? csr 0xfe8000 vector vackint vcmdrsp vunsol
device ace0 at vba? csr 0xff0000 flags 0xfff80000 vector acecint acerint