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