# include the GENERIC kernel
include GENERIC

# build options
makeoptions    COPTFLAGS="-O2 -pipe"

# identify our custom kernel
ident		PFLOG

# devices to explicitly remove/exclude

# additional devices not in GENERIC
device		pf
device		pflog
device		coretemp

# options to explicitly remove/exclude
nooption	INET6
# DISABLE => Debugging for use in -current
nooption 	KDB			# Enable kernel debugger support.
nooption 	DDB			# Support DDB.
nooption 	GDB			# Support remote GDB.
nooption 	INVARIANTS		# Enable calls of extra sanity checking
nooption 	INVARIANT_SUPPORT	# Extra sanity checks of internal structures, required by INVARIANTS
nooption 	WITNESS			# Enable checks to detect deadlocks and cycles
nooption 	WITNESS_SKIPSPIN	# Don't run witness on spinlocks for speed

# additional options not in GENERIC
option		NETATALK
option		ALTQ
option		ALTQ_CBQ
option 		ALTQ_HFSC
option 		ALTQ_NOPCC
option 		ALTQ_PRIQ
option		ALTQ_RED
option		ALTQ_RIO
option		COMPAT_LINUX32
option		GEOM_MIRROR
option		LIBICONV
option		LIBMCHAIN
option		NETSMB
option		NULLFS
option		SMBFS
option		UDF