xref: /freebsd/sys/i386/conf/PAE (revision 84943d6f38e936ac3b7a3947ca26eeb27a39f938)
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