2 # PAE -- Generic kernel configuration file for FreeBSD/i386 PAE
10 # To make a PAE kernel, the next option is needed
11 options PAE # Physical Address Extensions Kernel
13 # The following drivers don't build with PAE enabled.
14 makeoptions WITHOUT_MODULES="ctl dpt hptmv ida"
19 # The following drivers don't work with PAE enabled.
20 makeoptions WITHOUT_MODULES+="asr ncr pst"