From fa544b2f75dc3121a9247f51de7e4fb806f5cfb9 Mon Sep 17 00:00:00 2001 From: markj Date: Fri, 14 Dec 2018 20:57:57 +0000 Subject: [PATCH] Enable witness(4) in the RISC-V GENERIC config. Reviewed by: jhb MFC after: 1 week Sponsored by: The FreeBSD Foundation Differential Revision: https://reviews.freebsd.org/D18559 --- sys/riscv/conf/GENERIC | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sys/riscv/conf/GENERIC b/sys/riscv/conf/GENERIC index 20e12dacc42f..e304ebab9a59 100644 --- a/sys/riscv/conf/GENERIC +++ b/sys/riscv/conf/GENERIC @@ -120,7 +120,7 @@ options DDB # Support DDB. 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 # 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 # options EARLY_PRINTF