config hkvmunix root on hk
controller mba0 at nexus ?
controller uba0 at nexus ?
controller sc0 at uba? csr 0176700 vector upintr
controller hk0 at uba? csr 0177440 vector rkintr
device dz0 at uba? csr 0160100 flags 0x00 vector dzrint dzxint
device dz1 at uba? csr 0160110 flags 0x7f vector dzrint dzxint
device en0 at uba0 csr 0161000 vector enxint enrint encollide
device ec0 at uba? csr 0164330 vector ecrint eccollide ecxint