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 options         COMPAT_FREEBSD12        # Compatible with FreeBSD12
   8
   9 # Debugging support.  Always need this:
  10 makeoptions     DEBUG=-g                # Build kernel with gdb(1) debug symbols
  11 options         KDB                     # Enable kernel debugger support.
  12 options         KDB_TRACE               # Print a stack trace for a panic.
  13
  14 # For full debugger support use (turn off in stable branch):
  15 options         DDB                     # Support DDB
  16 #options        DEADLKRES               # Enable the deadlock resolver
  17 options         INVARIANTS              # Enable calls of extra sanity checking
  18 options         INVARIANT_SUPPORT       # Extra sanity checks of internal structures, required by INVARIANTS
  19 options         WITNESS                 # Enable checks to detect deadlocks and cycles
  20 options         WITNESS_SKIPSPIN        # Don't run witness on spinlocks for speed
  21 #options        MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones
  22 options         ALT_BREAK_TO_DEBUGGER   # Enter debugger on keyboard escape sequence
  23 options         USB_DEBUG               # Enable usb debug support code
  24 options         VERBOSE_SYSINIT=0       # Support debug.verbose_sysinit, off by default
  25
  26 # Optional extras, never enabled by default:
  27 #options        BOOTVERBOSE
  28 #options        DEBUG                   # May result in extreme spewage
  29 #options        KTR
  30 #options        KTR_COMPILE=KTR_ALL
  31 #options        KTR_ENTRIES=16384
  32 #options        KTR_MASK=(KTR_SPARE2)
  33 #options        KTR_VERBOSE=0
  34 #options        USB_REQ_DEBUG
  35 #options        USB_VERBOSE
  36
  37
  38