37 lines
1.3 KiB
Plaintext
37 lines
1.3 KiB
Plaintext
# Standard kernel config items for all ARMv4/v5 systems.
|
|
#
|
|
# $FreeBSD$
|
|
|
|
options COMPAT_FREEBSD10 # Compatible with FreeBSD10
|
|
|
|
# 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
|
|
|
|
# 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
|
|
#options VERBOSE_SYSINIT # Enable verbose sysinit messages
|
|
|
|
|
|
|