1 # Standard kernel config items for all ARMv4/v5 systems.
5 options COMPAT_FREEBSD10 # Compatible with FreeBSD10
6 options COMPAT_FREEBSD11 # Compatible with FreeBSD11
8 # Debugging support. Always need this:
9 makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
10 options KDB # Enable kernel debugger support.
11 options KDB_TRACE # Print a stack trace for a panic.
13 # For full debugger support use (turn off in stable branch):
14 options DDB # Support DDB
15 #options DEADLKRES # Enable the deadlock resolver
16 options INVARIANTS # Enable calls of extra sanity checking
17 options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
18 options WITNESS # Enable checks to detect deadlocks and cycles
19 options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
20 #options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones
21 options ALT_BREAK_TO_DEBUGGER # Enter debugger on keyboard escape sequence
22 options USB_DEBUG # Enable usb debug support code
24 # Optional extras, never enabled by default:
26 #options DEBUG # May result in extreme spewage
28 #options KTR_COMPILE=KTR_ALL
29 #options KTR_ENTRIES=16384
30 #options KTR_MASK=(KTR_SPARE2)
31 #options KTR_VERBOSE=0
32 #options USB_REQ_DEBUG
34 #options VERBOSE_SYSINIT # Enable verbose sysinit messages