# Standard kernel config items for all ARMv4/v5 systems.
#
# $FreeBSD: releng/12.1/sys/arm/conf/std.arm 340503 2018-11-17 18:58:06Z gjb $
# $BSDSUniX $

options 	COMPAT_FREEBSD10	# Compatible with BSDSUniX10
options 	COMPAT_FREEBSD11	# Compatible with BSDSUniX11

# Debugging support.  Always need this:
makeoptions	DEBUG=-g		# Build kernel with gdb(1) debug symbols
options 	KDB			# Enable kernel debugger support.
options 	KDB_TRACE		# Print a stack trace for a panic.

# Optional extras, never enabled by default:
#options 	BOOTVERBOSE
#options 	DEBUG			# May result in extreme spewage
#options 	KTR
#options 	KTR_COMPILE=KTR_ALL
#options 	KTR_ENTRIES=16384
#options 	KTR_MASK=(KTR_SPARE2)
#options 	KTR_VERBOSE=0
#options 	USB_REQ_DEBUG
#options 	USB_VERBOSE
#options 	VERBOSE_SYSINIT		# Enable verbose sysinit messages