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