# $OpenBSD: GENERIC,v 1.290 2010/06/27 21:00:22 kettenis Exp $ # # For further information on compiling OpenBSD kernels, see the config(8) # man page. # # For further information on hardware support for this architecture, see # the intro(4) man page. For further information about kernel options # for this architecture, see the options(4) man page. For an explanation # of each device driver in this file see the section 4 man page for the # device. machine amd64 include "../../../conf/GENERIC" maxusers 80 # estimated number of users option USER_PCICONF # user-space PCI configuration #option VM86 # Virtual 8086 emulation option APERTURE # in-kernel aperture driver for XFree86 option MTRR # CPU memory range attributes control #option KGDB # Remote debugger support; exclusive of DDB #option "KGDB_DEVNAME=\"com\"",KGDBADDR=0x2f8,KGDBRATE=9600 #option PROCFS # /proc #option NTFS # Experimental NTFS support config bsd swap generic mainbus0 at root bios0 at mainbus? cpu0 at mainbus? ioapic* at mainbus? isa0 at mainbus0 isa0 at pcib? isa0 at amdpcib? pci* at mainbus0 acpi0 at bios0 acpitimer* at acpi? acpihpet* at acpi? acpiac* at acpi? acpibat* at acpi? acpibtn* at acpi? acpicpu* at acpi? acpidock* at acpi? acpiec* at acpi? acpiprt* at acpi? acpitz* at acpi? acpimadt0 at acpi? acpithinkpad* at acpi? acpivideo* at acpi? acpivout* at acpivideo? acpipwrres* at acpi? aibs* at acpi? mpbios0 at bios0 ipmi0 at mainbus? disable # IPMI #vmt0 at mainbus? # VMware Tools option PCIVERBOSE option USBVERBOSE pchb* at pci? # PCI-Host bridges aapic* at pci? # AMD 8131 IO apic ppb* at pci? # PCI-PCI bridges pci* at ppb? pci* at pchb? pcib* at pci? # PCI-ISA bridge amdpcib* at pci? # AMD 8111 LPC bridge kate* at pci? # AMD K8 temperature sensor km* at pci? # AMD K10 temperature sensor amas* at pci? disable # AMD memory configuration # National Semiconductor LM7[89] and compatible hardware monitors lm0 at isa? port 0x290 #lm1 at isa? port 0x280 #lm2 at isa? port 0x310 it* at isa? port 0x2e # ITE IT8705F, IT8712F, IT8716F, IT8718F, it* at isa? port 0x4e # IT8726F and SiS SiS950 monitors and # watchdog timer schsio* at isa? port 0x2e # SMSC SCH311x Super I/O schsio* at isa? port 0x4e schsio* at isa? port 0x162e schsio* at isa? port 0x164e viaenv* at pci? # VIA VT82C686A hardware monitor #viasio* at isa? port 0x2e flags 0x0000 # VIA VT1211 LPC Super I/O #viasio* at isa? port 0x4e flags 0x0000 wbsio* at isa? port 0x2e # Winbond LPC Super I/O wbsio* at isa? port 0x4e lm* at wbsio? uguru0 at isa? disable port 0xe0 # ABIT uGuru aps0 at isa? port 0x1600 # ThinkPad Active Protection System piixpm* at pci? # Intel PIIX PM iic* at piixpm? ichiic* at pci? # Intel ICH SMBus controller iic* at ichiic? viapm* at pci? # VIA VT8237 power management iic* at viapm? amdiic* at pci? # AMD-8111 SMBus controller iic* at amdiic? nviic* at pci? # NVIDIA nForce2/3/4 SMBus controller iic* at nviic? amdpm* at pci? # AMD-7xx/8111 and NForce SMBus controller iic* at amdpm? adc* at iic? # Analog Devices AD7416/AD7417/7418 adl* at iic? # Andigilog aSC7621 admtemp* at iic? # Analog Devices ADM1021 admlc* at iic? # Analog Devices ADM1024 admtm* at iic? # Analog Devices ADM1025 admcts* at iic? # Analog Devices ADM1026 admtmp* at iic? # Analog Devices ADM1030 admtt* at iic? # Analog Devices ADM1031 adt* at iic? # Analog Devices ADT7460 andl* at iic? # Andigilog aSC7611 lisa* at iic? # STMicroelectronics LIS331DL motion sensor lm* at iic? # National Semiconductor LM78/79 lmenv* at iic? # National Semiconductor LM87 lmtemp* at iic? # National Semiconductor LM75/LM77 lmn* at iic? # National Semiconductor LM93 maxds* at iic? # Maxim DS1631 maxtmp* at iic? # Maxim MAX6642/MAX6690 spdmem* at iic? # SPD memory eeproms sdtemp* at iic? # SO-DIMM (JC-42.4) temperature wbng* at iic? # Winbond W83793G #option PCMCIAVERBOSE # PCI PCMCIA controllers #pcic* at pci? # PCMCIA bus support #pcmcia* at pcic? # CardBus bus support cbb* at pci? cardslot* at cbb? cardbus* at cardslot? pcmcia* at cardslot? # USB Controllers ehci* at pci? # Enhanced Host Controller ehci* at cardbus? # Enhanced Host Controller uhci* at pci? # Universal Host Controller (Intel) uhci* at cardbus? # Universal Host Controller (Intel) ohci* at pci? # Open Host Controller ohci* at cardbus? # Open Host Controller # USB bus support usb* at ehci? usb* at uhci? usb* at ohci? # USB devices uhub* at usb? # USB Hubs uhub* at uhub? # USB Hubs umodem* at uhub? # USB Modems/Serial ucom* at umodem? uvisor* at uhub? # Handspring Visor ucom* at uvisor? uvscom* at uhub? # SUNTAC Slipper U VS-10U serial ucom* at uvscom? ubsa* at uhub? # Belkin serial adapter ucom* at ubsa? uftdi* at uhub? # FTDI FT8U100AX serial adapter ucom* at uftdi? uplcom* at uhub? # I/O DATA USB-RSAQ2 serial adapter ucom* at uplcom? umct* at uhub? # MCT USB-RS232 serial adapter ucom* at umct? uslcom* at uhub? # Silicon Laboratories CP210x serial ucom* at uslcom? uark* at uhub? # Arkmicro ARK3116 serial ucom* at uark? moscom* at uhub? # MosChip MCS7703 serial ucom* at moscom? uipaq* at uhub? # iPAQ serial adapter ucom* at uipaq? umsm* at uhub? # Qualcomm MSM EVDO ucom* at umsm? uchcom* at uhub? # WinChipHead CH341/340 serial ucom* at uchcom? uaudio* at uhub? # USB Audio audio* at uaudio? umidi* at uhub? # USB MIDI midi* at umidi? ulpt* at uhub? # USB Printers umass* at uhub? # USB Mass Storage devices scsibus* at umass? atapiscsi* at umass? uhidev* at uhub? # Human Interface Devices ums* at uhidev? # USB mouse wsmouse* at ums? mux 0 uhts* at uhidev? # USB HID touch screen wsmouse* at uhts? mux 0 uts* at uhub? # USB touchscreen wsmouse* at uts? mux 0 ukbd* at uhidev? # USB keyboard wskbd* at ukbd? mux 1 ucycom* at uhidev? # Cypress serial ucom* at ucycom? uhid* at uhidev? # USB generic HID support aue* at uhub? # ADMtek AN986 Pegasus Ethernet atu* at uhub? # Atmel AT76c50x based 802.11b axe* at uhub? # ASIX Electronics AX88172 USB Ethernet cue* at uhub? # CATC USB-EL1201A based Ethernet kue* at uhub? # Kawasaki KL5KUSB101B based Ethernet cdce* at uhub? # CDC Ethernet urndis* at uhub? # Remote NDIS Ethernet upl* at uhub? # Prolific PL2301/PL2302 host-to-host `network' udav* at uhub? # Davicom DM9601 based Ethernet mos* at uhub? # MOSCHIP MCS7730/7830 10/100 Ethernet url* at uhub? # Realtek RTL8150L based adapters wi* at uhub? # WaveLAN IEEE 802.11DS urio* at uhub? # Diamond Multimedia Rio 500 uscanner* at uhub? # USB Scanners usscanner* at uhub? # USB SCSI scanners, e.g., HP5300 scsibus* at usscanner? #uyap* at uhub? # Y@P firmware loader udsbr* at uhub? # D-Link DSB-R100 radio radio* at udsbr? # USB radio uberry* at uhub? # Research In Motion Blackberry ugen* at uhub? # USB Generic driver uath* at uhub? # Atheros AR5005UG/AR5005UX ural* at uhub? # Ralink RT2500USB rum* at uhub? # Ralink RT2501USB/RT2601USB run* at uhub? # Ralink RT2700U/RT2800U/RT3000U otus* at uhub? # Atheros AR9001U zyd* at uhub? # Zydas ZD1211 upgt* at uhub? # Conexant/Intersil PrismGT SoftMAC USB urtw* at uhub? # RealTek 8187 udcf* at uhub? # Gude Expert mouseCLOCK uthum* at uhidev? # TEMPerHUM sensor utrh* at uhidev? # USBRH sensor uow* at uhub? # Maxim/Dallas DS2490 1-Wire adapter onewire* at uow? uvideo* at uhub? # USB Video video* at uvideo? udl* at uhub? # DisplayLink USB displays wsdisplay* at udl? puc* at pci? # PCI "universal" communication device #puc* at cardbus? sdhc* at pci? # SD Host Controller sdmmc* at sdhc? # SD/MMC bus scsibus* at sdmmc? # SCSI emulation # Bluetooth controllers sbt* at sdmmc? # SDIO Bluetooth bthub* at sbt? ubt* at uhub? # USB Bluetooth bthub* at ubt? bthidev* at bthub? # Bluetooth HID support btkbd* at bthidev? btms* at bthidev? wskbd* at btkbd? mux 1 wsmouse* at btms? mux 0 btsco* at bthub? # Bluetooth audio support audio* at btsco? isadma0 at isa? option WSDISPLAY_COMPAT_USL # VT handling option WSDISPLAY_COMPAT_RAWKBD # provide raw scancodes; needed for X11 option WSDISPLAY_DEFAULTSCREENS=6 # initial number of text consoles option WSDISPLAY_COMPAT_PCVT # emulate some ioctls; needed for X11 pckbc0 at isa? # PC keyboard controller pckbd* at pckbc? # PC keyboard pms* at pckbc? # PS/2 mouse for wsmouse pmsi* at pckbc? # PS/2 "Intelli"mouse for wsmouse vga0 at isa? option X86EMU # to POST video cards vga* at pci? wsdisplay* at vga? wskbd* at pckbd? mux 1 wsmouse* at pms? mux 0 wsmouse* at pmsi? mux 0 intagp* at vga? # intel integrated graphics agp* at intagp? #option DRM_DEBUG inteldrm* at vga? # Intel i915, i945 DRM driver drm* at inteldrm? #machdrm* at vga? # mach64 (3D Rage Pro, Rage) DRM driver #drm* at machdrm? #mgadrm* at vga? # Matrox G[24]00, G[45]50 DRM driver #drm* at mgadrm? #ragedrm* at vga? # ATI Rage 128 DRM driver #drm* at ragedrm? radeondrm* at vga? # ATI Radeon DRM driver drm* at radeondrm? #savagedrm* at vga? # S3 Savage DRM driver #drm* at savagedrm? #sisdrm* at vga? # SiS DRM driver #drm* at sisdrm? #tdfxdrm* at vga? # 3dfx (voodoo) DRM driver #drm* at tdfxdrm? pcppi0 at isa? com0 at isa? port 0x3f8 irq 4 # standard PC serial ports com1 at isa? port 0x2f8 irq 3 #com2 at isa? port 0x3e8 irq 5 #com3 at isa? port 0x2e8 irq 9 # (conflicts with some video cards) com* at pcmcia? # PCMCIA modems/serial ports com* at puc? # options CY_HW_RTS #cy* at pci? # PCI cyclom serial card #cz* at pci? # Cyclades-Z multi-port serial boards lpt0 at isa? port 0x378 irq 7 # standard PC parallel ports #lpt1 at isa? port 0x278 #lpt2 at isa? port 0x3bc lpt* at puc? #bha* at pci? # BusLogic [57]4X SCSI controllers #scsibus* at bha? ahc* at pci? # Adaptec 2940 SCSI controllers scsibus* at ahc? jmb* at pci? # JMicron JMB36x controllers ahci* at jmb? flags 0x0000 # flags 0x0001 to force SATA 1 (1.5Gb/s) pciide* at jmb? ahci* at pci? flags 0x0000 # AHCI SATA controllers # flags 0x0001 to force SATA 1 (1.5Gb/s) scsibus* at ahci? sili* at pci? # Silicon Image 3124/3132/3531 SATA scsibus* at sili? ahd* at pci? # Adaptec 79?? SCSI controllers scsibus* at ahd? arc* at pci? # Areca RAID Controller scsibus* at arc? mpi* at pci? # LSI Logic Message Passing Interface scsibus* at mpi? mpii* at pci? # LSI Message Passing Interface II scsibus* at mpii? gdt* at pci? # ICP Vortex GDT RAID controllers scsibus* at gdt? twe* at pci? # 3ware Escalade RAID controllers scsibus* at twe? #aac* at pci? # Adaptec FSA RAID controllers #scsibus* at aac? ami* at pci? # AMI MegaRAID controllers scsibus* at ami? mfi* at pci? # LSI MegaRAID SAS controllers scsibus* at mfi? #cac* at pci? # Compaq Smart ARRAY [234]* RAID controllers #scsibus* at cac? ciss* at pci? # Compaq Smart ARRAY [56]* RAID controllers scsibus* at ciss? iha* at pci? # Initio Ultra/UltraWide SCSI controllers scsibus* at iha? ips* at pci? # IBM ServeRAID controllers scsibus* at ips? isp* at pci? # Qlogic ISP [12]0x0 SCSI/FibreChannel scsibus* at isp? aic* at pcmcia? # PCMCIA Adaptec 152[02] SCSI scsibus* at aic? #esp* at pcmcia? # PCMCIA based NCR 53C9X SCSI #scsibus* at esp? siop* at pci? # NCR 538XX SCSI controllers scsibus* at siop? #adv* at pci? # AdvanSys 1200A/B and ULTRA SCSI #scsibus* at adv? adw* at pci? # AdvanSys ULTRA WIDE SCSI scsibus* at adw? pcscp* at pci? # AMD 53c974 PCscsi-PCI SCSI scsibus* at pcscp? #trm* at pci? # Tekram DC-3x5U SCSI Controllers #scsibus* at trm? sd* at scsibus? # SCSI disk drives st* at scsibus? # SCSI tape drives cd* at scsibus? # SCSI CD-ROM drives ch* at scsibus? # SCSI autochangers ss* at scsibus? # SCSI scanners safte* at scsibus? # SCSI accessed fault-tolerant encl ses* at scsibus? # SCSI enclosure services uk* at scsibus? # unknown SCSI fdc0 at isa? port 0x3f0 irq 6 drq 2 # standard PC floppy controllers #fdc1 at isa? port 0x370 fd* at fdc? flags 0x00 # IDE controllers pciide* at pci? flags 0x0000 wdc0 at isa? disable port 0x1f0 irq 14 flags 0x00 wdc1 at isa? disable port 0x170 irq 15 flags 0x00 wdc* at pcmcia? # IDE hard drives wd* at wdc? flags 0x0000 wd* at pciide? flags 0x0000 # ATAPI<->SCSI atapiscsi* at wdc? atapiscsi* at pciide? scsibus* at atapiscsi? # Networking devices lmc* at pci? # Lan Media Corp SSI/T3/HSSI san* at pci? # Sangoma PCI AFT card de* at pci? # DC21X4X-based ethernet fxp* at pci? # EtherExpress 10/100B ethernet fxp* at cardbus? # Intel PRO/100 ethernet ne* at pci? # NE2000-compat ethernet ep* at pci? # 3C59x ethernet ne* at pcmcia? # PCMCIA based NE2000 ethernet ep* at pcmcia? # PCMCIA based 3C5xx ethernet sm* at pcmcia? # PCMCIA based sm ethernet xe* at pcmcia? # Xircom ethernet #fpa* at pci? # DEC DEFPA FDDI xl* at pci? # 3C9xx ethernet xl* at cardbus? # 3C575/3C656 ethernet rl* at pci? # RealTek 81[23]9 ethernet rl* at cardbus? # RealTek 81[23]9 ethernet #mtd* at pci? # Myson MTD800/803/891 epic* at pci? # SMC EPIC/100 ethernet #tl* at pci? # Compaq Thunderlan ethernet vr* at pci? # VIA Rhine ethernet #wb* at pci? # Winbond W89C840F ethernet sf* at pci? # Adaptec AIC-6915 ethernet sis* at pci? # SiS 900/7016 ethernet se* at pci? # SiS 190/191 ethernet #ste* at pci? # Sundance ST201 ethernet BORKED pcn* at pci? # AMD PCnet-PCI Ethernet dc* at pci? # 21143, "tulip" clone ethernet dc* at cardbus? # 21143, "tulip" clone ethernet ti* at pci? # Alteon Tigon 1Gb ethernet skc* at pci? # SysKonnect GEnesis 984x sk* at skc? # each port of above mskc* at pci? # Marvell Yukon-2 msk* at mskc? # each port of above em* at pci? # Intel Pro/1000 ethernet ixgb* at pci? # Intel Pro/10Gb ethernet ix* at pci? # Intel 82598EB 10Gb ethernet txp* at pci? # 3com 3CR990 #nge* at pci? # NS DP83820/DP83821 GigE bge* at pci? # Broadcom BCM57xx (aka Tigon3) bnx* at pci? # Broadcom BCM5706/5708 GigE re* at pci? # Realtek 8169/8169S/8110S re* at cardbus? # Realtek 8169/8169S/8110S stge* at pci? # Sundance TC9021 GigE #lge* at pci? # Level1 LXT1001 GigE hme* at pci? # Sun Happy Meal vge* at pci? # VIA VT612x nfe* at pci? # NVIDIA nForce Ethernet musycc* at pci? # Conexant HDLC controller art* at musycc? # Accoom Artery E1/T1 cards xge* at pci? # Neterion Xframe-I/II 10Gb ethernet thtc* at pci? # Tehuti Networks 10Gb ethernet tht* at thtc? gem* at pci? # Sun 'gem' ethernet bce* at pci? # Broadcom BCM4401 vic* at pci? # VMware VMXnet virtual interface et* at pci? # Agere/LSI ET1310 age* at pci? # Attansic L1 Ethernet alc* at pci? # Attansic L1C/L2C Ethernet ale* at pci? # Attansic L1E Ethernet lii* at pci? # Attansic L2 Ethernet jme* at pci? # JMicron JMC250/JMC260 Ethernet # Wireless network cards acx* at pci? # TI ACX100/ACX111 (802.11b/g) acx* at cardbus? # TI ACX100/ACX111 (802.11b/g) ath* at pci? # Atheros AR5k (802.11a/b/g) ath* at cardbus? # Atheros AR5k (802.11a/b/g) athn* at pci? # Atheros AR9k (802.11a/g/n) athn* at cardbus? # Atheros AR9k (802.11a/g/n) atw* at pci? # ADMtek ADM8211 (802.11) atw* at cardbus? # ADMtek ADM8211 (802.11) bwi* at pci? # Broadcom AirForce (802.11b/g) bwi* at cardbus? # Broadcom AirForce (802.11b/g) wi* at pci? # WaveLAN IEEE 802.11DS wi* at pcmcia? # WaveLAN IEEE 802.11DS an* at pci? # Aironet IEEE 802.11DS an* at pcmcia? # Aironet IEEE 802.11DS cnw* at pcmcia? # Xircom Netwave ray* at pcmcia? # Raylink Aviator2.4/Pro 802.11FH iwi* at pci? # Intel PRO/Wireless 2200BG/2915ABG wpi* at pci? # Intel PRO/Wireless 3945ABG iwn* at pci? # Intel WiFi Link 4965/5000/1000/6000 ral* at pci? # Ralink RT2500/RT2501/RT2600 ral* at cardbus? # Ralink RT2500/RT2501/RT2600 rtw* at pci? # Realtek 8180 rtw* at cardbus? # Realtek 8180 pgt* at pci? # Prism54 (only full-mac varients) pgt* at cardbus? # Prism54 (only full-mac varients) malo* at pci? # Marvell Libertas malo* at cardbus? # Marvell Libertas malo* at pcmcia? # Marvell 88W8385 # Media Independent Interface (mii) drivers exphy* at mii? # 3Com internal PHYs inphy* at mii? # Intel 82555 PHYs iophy* at mii? # Intel 82553 PHYs icsphy* at mii? # ICS 1890 PHYs lxtphy* at mii? # Level1 LXT970 PHYs nsphy* at mii? # NS and compatible PHYs nsphyter* at mii? # NS and compatible PHYs qsphy* at mii? # Quality Semi QS6612 PHYs luphy* at mii? # Lucent LU6612 PHY sqphy* at mii? # Seeq 8x220 PHYs rlphy* at mii? # RealTek 8139 internal PHYs mtdphy* at mii? # Myson MTD972 PHYs dcphy* at mii? # Digital Clone PHYs acphy* at mii? # Altima AC101 PHYs amphy* at mii? # AMD 79C873 PHYs tqphy* at mii? # TDK 78Q212x PHYs bmtphy* at mii? # Broadcom 10/100 PHYs brgphy* at mii? # Broadcom Gigabit PHYs eephy* at mii? # Marvell 88E1000 series PHY xmphy* at mii? # XaQti XMAC-II PHYs nsgphy* at mii? # NS gigabit PHYs rgephy* at mii? # Realtek 8169S/8110S PHY urlphy* at mii? # Realtek RTL8150L internal PHY ciphy* at mii? # Cicada CS8201 10/100/1000 copper PHY gentbi* at mii? # Generic 1000BASE-X ten-bit PHY etphy* at mii? # Agere/LSI ET1011 TruePHY jmphy* at mii? # JMicron JMP202/JMP211 PHYs atphy* at mii? # Attansic F1 PHYs ipgphy* at mii? # IC Plus IP1000A PHYs ukphy* at mii? # "unknown" PHYs eap* at pci? # Ensoniq AudioPCI S5016 envy* at pci? # VIA Envy24 (aka ICE1712) #eso* at pci? # ESS Solo-1 PCI AudioDrive #sv* at pci? # S3 SonicVibes (S3 617) #neo* at pci? # NeoMagic 256AV/ZX cmpci* at pci? # C-Media CMI8338/8738 auacer* at pci? # Acer Labs M5455 auich* at pci? flags 0x0000 # i82801 ICH AC'97 audio auixp* at pci? # ATI IXP AC'97 Audio #autri* at pci? flags 0x0000 # Trident 4D WAVE auvia* at pci? # VIA VT82C686A azalia* at pci? # High Definition Audio clcs* at pci? # CS4280 CrystalClear audio #clct* at pci? # CS4281 CrystalClear audio #fms* at pci? # Forte Media FM801 #maestro* at pci? # ESS Maestro PCI #esa* at pci? # ESS Maestro3 PCI yds* at pci? flags 0x0000 # Yamaha YMF Audio emu* at pci? # SB Live! mpu* at isa? port 0x330 # OPL[23] FM synthesizers #opl* at eso? opl* at yds? opl* at cmpci? # MIDI support midi* at pcppi? # MIDI interface to the PC speaker midi* at opl? # OPL FM synth #midi* at autri? midi* at eap? midi* at mpu? spkr0 at pcppi? # PC speaker # Audio Support audio* at eap? audio* at envy? #audio* at eso? #audio* at sv? #audio* at neo? audio* at cmpci? audio* at clcs? #audio* at clct? audio* at auacer? audio* at auich? audio* at auixp? #audio* at autri? audio* at auvia? audio* at azalia? #audio* at fms? audio* at uaudio? #audio* at maestro? #audio* at esa? audio* at yds? audio* at emu? bktr0 at pci? # FM-Radio devices #gtp* at pci? # Gemtek/Guillemot Radio PCI Radio Card # FM-Radio support #radio* at gtp? radio* at bktr? #wdt0 at pci? # Ind Computer Source PCI-WDT50x driver # crypto support hifn* at pci? # Hi/fn 7751 crypto card lofn* at pci? # Hi/fn 6500 crypto card nofn* at pci? # Hi/fn 7814/7851/7854 crypto card ubsec* at pci? # Bluesteel Networks 5xxx crypto card safe* at pci? # SafeNet SafeXcel 1141/1741 # I2O iop* at pci? # I2O processor ioprbs* at iop? # I2O arrays scsibus* at ioprbs? iopsp* at iop? # I2O SCSI pass-through scsibus* at iopsp? # 1-Wire devices option ONEWIREVERBOSE owid* at onewire? # ID owsbm* at onewire? # Smart Battery Monitor owtemp* at onewire? # Temperature pseudo-device pctr 1 pseudo-device nvram 1 pseudo-device sequencer 1 #pseudo-device raid 4 # RAIDframe disk driver pseudo-device hotplug 1 # devices hot plugging pseudo-device mtrr 1 # Memory range attributes control # mouse & keyboard multiplexor pseudo-devices pseudo-device wsmux 2 pseudo-device crypto 1