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