std.arm revision 302915
1# Standard kernel config items for all ARMv4/v5 systems. 2# 3# $FreeBSD: stable/11/sys/arm/conf/std.arm 302915 2016-07-15 21:30:19Z ian $ 4 5options COMPAT_FREEBSD10 # Compatible with FreeBSD10 6 7# Debugging support. Always need this: 8makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 9options KDB # Enable kernel debugger support. 10options KDB_TRACE # Print a stack trace for a panic. 11 12# For full debugger support use (turn off in stable branch): 13options DDB # Support DDB 14#options DEADLKRES # Enable the deadlock resolver 15options INVARIANTS # Enable calls of extra sanity checking 16options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 17options WITNESS # Enable checks to detect deadlocks and cycles 18options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 19#options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones 20options ALT_BREAK_TO_DEBUGGER # Enter debugger on keyboard escape sequence 21options USB_DEBUG # Enable usb debug support code 22 23# Optional extras, never enabled by default: 24#options BOOTVERBOSE 25#options DEBUG # May result in extreme spewage 26#options KTR 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 32#options USB_VERBOSE 33#options VERBOSE_SYSINIT # Enable verbose sysinit messages 34 35 36 37