xref: /freebsd/sys/i386/conf/PAE (revision 3416500aef140042c64bc149cb1ec6620483bc44)
1#
2# PAE -- Generic kernel configuration file for FreeBSD/i386 PAE
3#
4# $FreeBSD$
5
6include GENERIC
7
8ident		PAE-GENERIC
9
10# To make a PAE kernel, the next option is needed
11options 	PAE			# Physical Address Extensions Kernel
12
13# The following drivers don't build with PAE enabled.
14makeoptions	WITHOUT_MODULES="ctl dpt hptmv ida"
15nodevice	dpt
16nodevice	hptmv
17nodevice	ida
18
19# The following drivers don't work with PAE enabled.
20makeoptions	WITHOUT_MODULES+="ncr pst"
21nodevice	ncr
22nodevice	pst
23