# atkbdc0 controlls both the keyboard and the PS/2 mouse
device atkbdc0 at isa? port IO_KBD
device atkbd0 at atkbdc? irq 1
device vga0 at isa? port ?
device sc0 at isa?
device npx0 at nexus? port IO_NPX irq 13
device miibus
device dc0
# device fxp0 # Intel EtherExpress PRO/100B (82557, 8255
device ed0 # NE 2000 and friends (huub)
device xl0 # 3c905 and friends (cope,jorg)
# device pcic
# device pccard
device wi