From 6fa1b93946b24835a4849b0342944e3a8b1b3dd2 Mon Sep 17 00:00:00 2001 From: andrew Date: Thu, 2 Jul 2015 14:35:30 +0000 Subject: [PATCH] Enable kernel debugging on arm64, other than GDB as it fails to build. Sponsored by: ABT Systems Ltd --- sys/arm64/conf/GENERIC | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/sys/arm64/conf/GENERIC b/sys/arm64/conf/GENERIC index 4eae4dfce7a4..134354b5d5a1 100644 --- a/sys/arm64/conf/GENERIC +++ b/sys/arm64/conf/GENERIC @@ -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 -- 2.41.0