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