config vmunix root on hp swap on hp0 and hp1
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 kg0 at uba? csr 0175620 vector kgclock
device en0 at uba0 csr 0161000 vector enxint enrint encollide
#device ec0 at uba? csr 0164330 vector ecrint eccollide ecxint
#device il0 at uba? csr 0164000 vector ilrint ilcint