summaryrefslogtreecommitdiff
path: root/sys
diff options
context:
space:
mode:
authorVisa Hankala <visa@cvs.openbsd.org>2017-04-20 14:23:54 +0000
committerVisa Hankala <visa@cvs.openbsd.org>2017-04-20 14:23:54 +0000
commit081b18d5684a1a78c75fe538973efe02e54e39ef (patch)
tree5081cc19d4fc1bcf281b790b04e43f190cc17695 /sys
parenta286e01bcdb694af72cc68023f8b8fe54cb7265b (diff)
Add option to compile witness(4).
Diffstat (limited to 'sys')
-rw-r--r--sys/conf/GENERIC3
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/conf/GENERIC b/sys/conf/GENERIC
index 6dcceb37b01..1e20abf0d5f 100644
--- a/sys/conf/GENERIC
+++ b/sys/conf/GENERIC
@@ -1,4 +1,4 @@
-# $OpenBSD: GENERIC,v 1.242 2017/04/08 20:53:54 naddy Exp $
+# $OpenBSD: GENERIC,v 1.243 2017/04/20 14:23:53 visa Exp $
#
# Machine-independent option; used by all architectures for their
# GENERIC kernel
@@ -15,6 +15,7 @@ option KTRACE # system call tracing, a la ktrace(1)
option ACCOUNTING # acct(2) process accounting
option KMEMSTATS # collect malloc(9) statistics
option PTRACE # ptrace(2) system call
+#option WITNESS # witness(4) lock checker
#option KVA_GUARDPAGES # slow virtual address recycling (+ guarding)
option POOL_DEBUG # pool corruption detection