# include the GENERIC kernelinclude GENERIC# build optionsmakeoptions COPTFLAGS="-O2 -pipe"# identify our custom kernelident PFLOG# devices to explicitly remove/exclude# additional devices not in GENERICdevice pfdevice pflogdevice coretemp# options to explicitly remove/excludenooption INET6# DISABLE => Debugging for use in -currentnooption KDB # Enable kernel debugger support.nooption DDB # Support DDB.nooption GDB # Support remote GDB.nooption INVARIANTS # Enable calls of extra sanity checkingnooption INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTSnooption WITNESS # Enable checks to detect deadlocks and cyclesnooption WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed# additional options not in GENERICoption NETATALKoption ALTQoption ALTQ_CBQoption ALTQ_HFSCoption ALTQ_NOPCCoption ALTQ_PRIQoption ALTQ_REDoption ALTQ_RIOoption COMPAT_LINUX32option GEOM_MIRRORoption LIBICONVoption LIBMCHAINoption NETSMBoption NULLFSoption SMBFSoption UDF