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