1113230Sjake#
2113230Sjake# PAE -- Generic kernel configuration file for FreeBSD/i386 PAE
3113230Sjake#
4113230Sjake# $FreeBSD: releng/10.3/sys/i386/conf/PAE 278424 2015-02-08 23:09:01Z marius $
5113230Sjake
6113230Sjakeinclude GENERIC
7113230Sjake
8113230Sjakeident		PAE-GENERIC
9113230Sjake
10113230Sjake# To make a PAE kernel, the next option is needed
11191954Skuriyamaoptions 	PAE			# Physical Address Extensions Kernel
12113230Sjake
13278424Smarius# The following drivers don't build with PAE enabled.
14278424Smariusmakeoptions	WITHOUT_MODULES="ctl dpt hptmv ida"
15113230Sjakenodevice	dpt
16152211Sscottlnodevice	hptmv
17278424Smariusnodevice	ida
18113230Sjake
19278424Smarius# The following drivers don't work with PAE enabled.
20278424Smariusmakeoptions	WITHOUT_MODULES+="asr ncr pst"
21278424Smariusnodevice	asr
22278424Smariusnodevice	ncr
23113230Sjakenodevice	pst
24