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 options         COMPAT_FREEBSD11        # Compatible with FreeBSD11
   7
   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.
  12
  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
  23
  24 # Optional extras, never enabled by default:
  25 #options        BOOTVERBOSE
  26 #options        DEBUG                   # May result in extreme spewage
  27 #options        KTR
  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
  33 #options        USB_VERBOSE
  34 #options        VERBOSE_SYSINIT         # Enable verbose sysinit messages
  35
  36
  37