FreeBSD-kernel-GENERIC-i386-11

include GENERIC

ident		GENERIC_CBSD

nooptions	KDB                     # Enable kernel debugger support.
nooptions	KDB_TRACE               # Print a stack trace for a panic.
nooptions	DDB                     # Support DDB.
nooptions	GDB                     # Support remote GDB.
nooptions	DEADLKRES               # Enable the deadlock resolver
nooptions	INVARIANTS              # Enable calls of extra sanity checking
nooptions	INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
nooptions	WITNESS                 # Enable checks to detect deadlocks and cycles
nooptions	WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
nooptions	MALLOC_DEBUG_MAXZONES

options		TERMINAL_NORM_ATTR=(FG_GREEN|BG_BLACK)
options		VT_FB_DEFAULT_WIDTH=1024
options		VT_FB_DEFAULT_HEIGHT=768
nodevice	sc
nodevice	vga
device		vt
device		vt_vga
nooptions	VESA

options		VIMAGE
options		CAM_NETFLIX_IOSCHED