diff options
| author | Greg Steuck <blackgnezdo@gmail.com> | 2018-12-18 01:35:29 -0800 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-12-18 10:35:29 +0100 |
| commit | 67c1ac52227bbbb6a640a6745443ad6c11af641c (patch) | |
| tree | df6b96a721e78545079471e83f4943ee6c97846a | |
| parent | f4815544c1bd24e9151ffa64edda7bc68f0e156d (diff) | |
dashboard/config: store kernel configs in tree
* sus/openbsd: store kernel configs in tree
They now include https://man.openbsd.org/witness per suggestion from
@mptre
* LOCKF_DIAGNOSTIC while we are at it.
* Moved to a better place.
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.mp | 5 | ||||
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.sp | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp new file mode 100644 index 000000000..e15bc21ab --- /dev/null +++ b/dashboard/config/openbsd-syzkaller.mp @@ -0,0 +1,5 @@ +include "arch/amd64/conf/GENERIC.MP" +pseudo-device kcov 1 +option WITNESS +option WITNESS_WATCH +option LOCKF_DIAGNOSTIC diff --git a/dashboard/config/openbsd-syzkaller.sp b/dashboard/config/openbsd-syzkaller.sp new file mode 100644 index 000000000..46dc2eca6 --- /dev/null +++ b/dashboard/config/openbsd-syzkaller.sp @@ -0,0 +1,5 @@ +include "arch/amd64/conf/GENERIC" +pseudo-device kcov 1 +option WITNESS +option WITNESS_WATCH +option LOCKF_DIAGNOSTIC |