Enable kernel debugging on arm64, other than GDB as it fails to build.

Sponsored by:	ABT Systems Ltd
This commit is contained in:
Andrew Turner 2015-07-02 14:35:30 +00:00
parent 1965f86c72
commit a380ef6a02
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=285040

View File

@ -69,6 +69,19 @@ options RACCT # Resource accounting framework
options RACCT_DEFAULT_TO_DISABLED # Set kern.racct.enable=0 by default
options RCTL # Resource limits
# Debugging support. Always need this:
options KDB # Enable kernel debugger support.
options KDB_TRACE # Print a stack trace for a panic.
# For full debugger support use (turn off in stable branch):
options DDB # Support DDB.
#options GDB # Support remote GDB.
options DEADLKRES # Enable the deadlock resolver
options INVARIANTS # Enable calls of extra sanity checking
options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS # Enable checks to detect deadlocks and cycles
options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones
device virtio
device virtio_mmio
device virtio_blk