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