#
# PAE -- Generic kernel configuration file for FreeBSD/i386 PAE
#
# $FreeBSD$

include GENERIC

ident		PAE-GENERIC

# To make a PAE kernel, the next option is needed
options		PAE			# Physical Address Extensions Kernel

# To make an SMP kernel, the next two are needed
#options 	SMP			# Symmetric MultiProcessor Kernel
#options 	APIC_IO			# Symmetric (APIC) I/O

# Compile acpi in statically since the module isn't built properly.  Most
# machines which support large amounts of memory require acpi.
device		acpi

# Don't build modules with this kernel config, since they are not built with
# the correct options headers.
makeoptions	NO_MODULES=yes

# What follows is a list of drivers that are normally in GENERIC, but either
# don't work or are untested with PAE.  Be very careful before enabling any
# of these drivers.  Drivers which use DMA and don't handle 64 bit physical
# address properly may cause data corruption when used in a machine with more
# than 4 gigabytes of memory.

nodevice	ahb
nodevice	amd
nodevice	isp
nodevice	mpt
nodevice	sym
nodevice	trm

nodevice	adv
nodevice	adw
nodevice	aha
nodevice	aic
nodevice	bt

nodevice	ncv
nodevice	nsp
nodevice	stg

nodevice	asr
nodevice	dpt
nodevice	iir
nodevice	mly

nodevice	amr
nodevice	ida
nodevice	mlx
nodevice	pst
nodevice	twe

nodevice	agp

nodevice	de
nodevice	txp
nodevice	vx

nodevice	dc
nodevice	pcn
nodevice	rl
nodevice	sf
nodevice	sis
nodevice	ste
nodevice	tl
nodevice	tx
nodevice	vr
nodevice	wb

nodevice	cs
nodevice	ed
nodevice	ex
nodevice	ep
nodevice	fe
nodevice	ie
nodevice	lnc
nodevice	sn
nodevice	xe

nodevice	wlan
nodevice	an
nodevice	awi
nodevice	wi

nodevice	uhci
nodevice	ohci
nodevice	usb
nodevice	ugen
nodevice	uhid
nodevice	ukbd
nodevice	ulpt
nodevice	umass
nodevice	ums
nodevice	urio
nodevice	uscanner
nodevice	aue
nodevice	axe
nodevice	cue
nodevice	kue