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