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