1# Standard kernel config items for all ARMv4/v5 systems. 2# 3# $FreeBSD$ 4 5options COMPAT_FREEBSD10 # Compatible with FreeBSD10 6options COMPAT_FREEBSD11 # Compatible with FreeBSD11 7 8# Debugging support. Always need this: 9makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 10options KDB # Enable kernel debugger support. 11options KDB_TRACE # Print a stack trace for a panic. 12 13# Optional extras, never enabled by default: 14#options BOOTVERBOSE 15#options DEBUG # May result in extreme spewage 16#options KTR 17#options KTR_COMPILE=KTR_ALL 18#options KTR_ENTRIES=16384 19#options KTR_MASK=(KTR_SPARE2) 20#options KTR_VERBOSE=0 21#options USB_REQ_DEBUG 22#options USB_VERBOSE 23#options VERBOSE_SYSINIT # Enable verbose sysinit messages 24 25 26 27