# Standard kernel config items for all ARMv4/v5 systems.
#
# $FreeBSD: releng/11.0/sys/arm/conf/std.arm 303163 2016-07-21 22:13:40Z ian $

options 	COMPAT_FREEBSD10	# Compatible with FreeBSD10

# 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.