sys/arm/conf/std.arm

   1 # Standard kernel config items for all ARMv4/v5 systems.
   2 #
   3 # $FreeBSD$
   4
   5 options         COMPAT_FREEBSD10        # Compatible with FreeBSD10
   6
   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.
  11
  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
  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