blob: 03ab30cc5fd4267e99171d37f1c9b29df2457201 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
# Standard kernel config items for all ARMv4/v5 systems.
#
# $FreeBSD$
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.
|