config vmunix root on dk0 swap on dk0 and dk1 and dk4
controller vd0 at vba? csr 0xffff2000 vector vdintr
controller vd1 at vba? csr 0xffff2100 vector vdintr
controller vd2 at vba? csr 0xffff2200 vector vdintr
controller cy0 at vba? csr 0xffff4000 vector cyintr
device yc0 at cy0 drive 0
device vx0 at vba? csr 0xfffe0000 vector vackint vcmdrsp vunsol
device vx1 at vba? csr 0xfffe4000 flags 0xff00
vector vackint vcmdrsp vunsol
device vx2 at vba? csr 0xfffe8000 flags 0xffff
vector vackint vcmdrsp vunsol
device ace0 at vba? csr 0xffff0000 flags 0xfff80000 vector acecint acerint
#device ace1 at vba? csr 0xffff0100 flags 0xfff90000 vector acecint acerint