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