diff options
| author | Visa Hankala <visa@cvs.openbsd.org> | 2017-04-20 14:23:54 +0000 |
|---|---|---|
| committer | Visa Hankala <visa@cvs.openbsd.org> | 2017-04-20 14:23:54 +0000 |
| commit | 081b18d5684a1a78c75fe538973efe02e54e39ef (patch) | |
| tree | 5081cc19d4fc1bcf281b790b04e43f190cc17695 | |
| parent | a286e01bcdb694af72cc68023f8b8fe54cb7265b (diff) | |
Add option to compile witness(4).
| -rw-r--r-- | sys/conf/GENERIC | 3 |
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 |