# Following makes ARMADA M700's happy
#options RBUS_MIN_START=0x20000000
#options RBUS_IO_BASE=0x600
#options RBUS_IO_SIZE=0x100
# Configure PCI using BIOS information
options PCIBIOS # PCI BIOS support
#options PCIBIOSVERBOSE # PCI BIOS verbose info
#options PCIBIOS_IRQS_HINT=0x0a00 # PCI interrupts hint. IRQ 9 or 11
options PCIBIOS_INTR_GUESS # see pcibios(4)
#options PCIINTR_DEBUG # super-verbose PCI interrupt fixup
# PCI fixups, for both PCIBIOS and ACPI
options PCI_ADDR_FIXUP # fixup PCI I/O addresses
options PCI_BUS_FIXUP # fixup PCI bus numbering
options PCI_INTR_FIXUP # fixup PCI interrupt routing
# Cardbus bridges
ppb* at cardbus? function ? # Cardbus-PCI bridges (www.magma.com)
# CardBus bridge support
cbb* at pci? dev ? function ?
cardslot* at cbb?
# CardBus bus support
cardbus* at cardslot?
pcmcia* at cardslot?
# CardBus serial interfaces
com* at cardbus? function ? # Modems and serial cards
# CardBus SCSI cards
adv* at cardbus? function ? # AdvanSys 1200[A,B], 9xx[U,UA] SCSI
ahc* at cardbus? function ? # Adaptec ADP-1480
njs* at cardbus? function ? # Workbit NinjaSCSI-32
# CardBus IDE controllers
njata* at cardbus? function ? flags 0x01 # Workbit NinjaATA-32
# CardBus network cards
ath* at cardbus? function ? # Atheros 5210/5211/5212 802.11
atw* at cardbus? function ? # ADMtek ADM8211 (802.11)
ex* at cardbus? function ? # 3Com 3c575TX
fxp* at cardbus? function ? # Intel i8255x
rtk* at cardbus? function ? # Realtek 8129/8139
tlp* at cardbus? function ? # DECchip 21143
# CardBus USB controllers
ehci* at cardbus? function ? # Enhanced Host Controller
ohci* at cardbus? function ? # Open Host Controller
