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