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?
isa0	at amdpcib?
pci*	at mainbus0

acpi0		at bios?
acpitimer*	at acpi?
acpihpet*	at acpi?
acpibtn*	at acpi?
acpicpu*	at acpi?
#acpidock*	at acpi?
acpiprt*	at acpi? 
acpiec*         at acpi?

option		PCIVERBOSE
option		USBVERBOSE

pchb*	at pci?			# PCI-Host bridges
ppb*	at pci?			# PCI-PCI bridges
pci*	at ppb?
amdpcib* at pci?		# AMD 8111 LPC bridge
kate*	at pci?			# AMD K8 temperature sensor

# National Semiconductor LM7[89] and compatible hardware monitors
#lm1	at isa? port 0x280
#lm2	at isa? port 0x310

				# watchdog timer
				
#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


amdpm*	at pci?			# AMD-7xx/8111 and NForce SMBus controller


#option PCMCIAVERBOSE

# PCI PCMCIA controllers
#pcic*	at pci?

# PCMCIA bus support
#pcmcia*	at pcic?

# CardBus bus support

# USB Controllers
ohci*	at pci?			# Open Host Controller

# USB bus support
usb*	at ohci?

# USB devices
uhub*	at usb?			# USB Hubs
#uyap*	at uhub?		# Y@P firmware loader

# USB Video

#puc*	at cardbus?


# Bluetooth controllers
#sbt*	at sdmmc?		# SDIO Bluetooth
#ubt*	at uhub?		# USB Bluetooth

# Bluetooth bus support
#bthub*	at sbt?
#bthub*	at ubt?

# Bluetooth HID support
#bthidev* at bthub?
#btkbd*	at bthidev?
#btms*	at bthidev?
#wskbd*	at btkbd? mux 1
#wsmouse* at btms? mux 0

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
vga*		at pci?
wsdisplay*	at vga?
wskbd*		at pckbd? mux 1

#option		DRM_DEBUG
#machdrm*	at vga?		# mach64 (3D Rage Pro, Rage) DRM driver
#mgadrm*	at vga?		# Matrox G[24]00, G[45]50 DRM driver
#ragedrm*	at vga?		# ATI Rage 128 DRM driver
#savagedrm*	at vga?		# S3 Savage DRM driver
#sisdrm*	at vga?		# SiS DRM driver
#tdfxdrm*	at vga?		# 3dfx (voodoo) DRM driver

pcppi0		at isa?

com0	at isa? port 0x3f8 irq 4	# standard PC serial ports
#com2	at isa? port 0x3e8 irq 5
#com3	at isa? port 0x2e8 irq 9	# (conflicts with some video cards)


# options CY_HW_RTS
#cy*	at pci?				# PCI cyclom serial card
#cz*	at pci?				# Cyclades-Z multi-port serial boards

#lpt1	at isa? port 0x278
#lpt2	at isa? port 0x3bc

#bha*	at pci?				# BusLogic [57]4X SCSI controllers
#scsibus* at bha?
					# flags 0x0001 to force SATA 1 (1.5Gb/s)
mpi*	at pci?				# LSI Logic Message Passing Interface
scsibus* at mpi?
#aac*	at pci?				# Adaptec FSA RAID controllers
#scsibus* at aac?
#cac*	at pci?				# Compaq Smart ARRAY [234]* RAID controllers
#scsibus* at cac?
#iha*	at pci?				# Initio Ultra/UltraWide SCSI controllers
#scsibus* at iha?
#esp*	at pcmcia?			# PCMCIA based NCR 53C9X SCSI
#scsibus* at esp?
#adv*	at pci?				# AdvanSys 1200A/B and ULTRA SCSI
#scsibus* at adv?
#trm*	at pci?				# Tekram DC-3x5U SCSI Controllers
#scsibus* at trm?

sd*	at scsibus?			# SCSI disk drives
cd*	at scsibus?			# SCSI CD-ROM drives

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


# IDE hard drives

# ATAPI<->SCSI
atapiscsi* at pciide?
scsibus* at atapiscsi?

# Networking devices
#fpa*	at pci?				# DEC DEFPA FDDI
#mtd*	at pci?				# Myson MTD800/803/891
#tl*	at pci?				# Compaq Thunderlan ethernet
#wb*	at pci?				# Winbond W89C840F ethernet
#ste*	at pci?				# Sundance ST201 ethernet BORKED
#nge*	at pci?				# NS DP83820/DP83821 GigE
bge*	at pci?				# Broadcom BCM57xx (aka Tigon3)
#lge*	at pci?				# Level1 LXT1001 GigE

# Wireless network cards

# Media Independent Interface (mii) drivers
brgphy*	at mii?				# Broadcom Gigabit PHYs

#eso*	at pci?				# ESS Solo-1 PCI AudioDrive
#sv*	at pci?				# S3 SonicVibes (S3 617)
#neo*	at pci?				# NeoMagic 256AV/ZX
#autri*	at pci? flags 0x0000		# Trident 4D WAVE
#clct*	at pci?				# CS4281 CrystalClear audio
#fms*	at pci?				# Forte Media FM801
#maestro* at pci?			# ESS Maestro PCI
#esa*	at pci?				# ESS Maestro3 PCI

# OPL[23] FM synthesizers
#opl*	at eso?

# MIDI support
midi*	at pcppi?		# MIDI interface to the PC speaker
#midi*	at autri?

spkr0	at pcppi?		# PC speaker

# Audio Support
#audio*	at eso?
#audio*	at sv?
#audio*	at neo?
#audio*	at clct?
#audio*	at autri?
#audio*	at fms?
#audio*	at maestro?
#audio*	at esa?


# FM-Radio devices
#gtp*	at pci?			# Gemtek/Guillemot Radio PCI Radio Card

# FM-Radio support
#radio*	at gtp?

#wdt0	at pci?			# Ind Computer Source PCI-WDT50x driver

# crypto support

# I2O

# 1-Wire devices
option ONEWIREVERBOSE

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