#
# PAE -- Generic kernel configuration file for FreeBSD/i386 PAE
#
# $FreeBSD: head/sys/i386/conf/PAE 276526 2015-01-02 05:34:14Z scottl $

include GENERIC

ident		PAE-GENERIC

# To make a PAE kernel, the next option is needed
options 	PAE			# Physical Address Extensions Kernel

# The following drivers don't build with PAE enabled.
makeoptions	WITHOUT_MODULES="ctl dpt hptmv ida"
nodevice	dpt
nodevice	hptmv
nodevice	ida

# The following drivers don't work with PAE enabled.
makeoptions	WITHOUT_MODULES+="ncr pst"
nodevice	ncr
nodevice	pst