From 67c1ac52227bbbb6a640a6745443ad6c11af641c Mon Sep 17 00:00:00 2001 From: Greg Steuck Date: Tue, 18 Dec 2018 01:35:29 -0800 Subject: 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. --- dashboard/config/openbsd-syzkaller.mp | 5 +++++ dashboard/config/openbsd-syzkaller.sp | 5 +++++ 2 files changed, 10 insertions(+) create mode 100644 dashboard/config/openbsd-syzkaller.mp create mode 100644 dashboard/config/openbsd-syzkaller.sp 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 -- cgit mrf-deployment