d6745408c7
Use it wherever COMPAT_FREEBSD11 is currently specified, like r309749. Reviewed by: imp, jhb, markj Sponsored by: Dell EMC Isilon Differential Revision: https://reviews.freebsd.org/D20120
39 lines
1.4 KiB
Plaintext
39 lines
1.4 KiB
Plaintext
# Standard kernel config items for all ARMv4/v5 systems.
|
|
#
|
|
# $FreeBSD$
|
|
|
|
options COMPAT_FREEBSD10 # Compatible with FreeBSD10
|
|
options COMPAT_FREEBSD11 # Compatible with FreeBSD11
|
|
options COMPAT_FREEBSD12 # Compatible with FreeBSD12
|
|
|
|
# Debugging support. Always need this:
|
|
makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
|
|
options KDB # Enable kernel debugger support.
|
|
options KDB_TRACE # Print a stack trace for a panic.
|
|
|
|
# For full debugger support use (turn off in stable branch):
|
|
options DDB # Support DDB
|
|
#options DEADLKRES # Enable the deadlock resolver
|
|
options INVARIANTS # Enable calls of extra sanity checking
|
|
options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
|
|
options WITNESS # Enable checks to detect deadlocks and cycles
|
|
options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
|
|
#options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones
|
|
options ALT_BREAK_TO_DEBUGGER # Enter debugger on keyboard escape sequence
|
|
options USB_DEBUG # Enable usb debug support code
|
|
options VERBOSE_SYSINIT=0 # Support debug.verbose_sysinit, off by default
|
|
|
|
# Optional extras, never enabled by default:
|
|
#options BOOTVERBOSE
|
|
#options DEBUG # May result in extreme spewage
|
|
#options KTR
|
|
#options KTR_COMPILE=KTR_ALL
|
|
#options KTR_ENTRIES=16384
|
|
#options KTR_MASK=(KTR_SPARE2)
|
|
#options KTR_VERBOSE=0
|
|
#options USB_REQ_DEBUG
|
|
#options USB_VERBOSE
|
|
|
|
|
|
|