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 0xff vector dzrint dzxint
device dz1 at uba? csr 0160110 flags 0xff vector dzrint dzxint
device ik0 at uba? csr 0172460 vector ikintr
device en0 at uba0 csr 0161000 vector enxint enrint encollide
device un0 at uba? csr 0160210 vector unintr