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