1a3b3689fSJake Burkholder# 2a3b3689fSJake Burkholder# PAE -- Generic kernel configuration file for FreeBSD/i386 PAE 3a3b3689fSJake Burkholder# 4a3b3689fSJake Burkholder 5*7442cdcaSJohn Baldwin#NO_UNIVERSE 6*7442cdcaSJohn Baldwin 7a3b3689fSJake Burkholderinclude GENERIC 8a3b3689fSJake Burkholder 9a3b3689fSJake Burkholderident PAE-GENERIC 10a3b3689fSJake Burkholder 11a3b3689fSJake Burkholder# To make a PAE kernel, the next option is needed 12a3b3689fSJake Burkholderoptions PAE # Physical Address Extensions Kernel 13a3b3689fSJake Burkholder 14c3d3eeb3SMarius Strobl# The following drivers don't build with PAE enabled. 15c3d3eeb3SMarius Stroblmakeoptions WITHOUT_MODULES="ctl dpt hptmv ida" 16a3b3689fSJake Burkholdernodevice dpt 17f6f8bc7aSScott Longnodevice hptmv 18a3b3689fSJake Burkholdernodevice ida 19c3d3eeb3SMarius Strobl 20c3d3eeb3SMarius Strobl# The following drivers don't work with PAE enabled. 216a186782SWarner Loshmakeoptions WITHOUT_MODULES+="pst" 22a3b3689fSJake Burkholdernodevice pst 23