diff options
| author | m00nbsd <42475391+m00nbsd@users.noreply.github.com> | 2020-06-08 11:59:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-08 11:59:03 +0200 |
| commit | 7604bb0341ac55d2ee620fa09fd18f06a6c3c727 (patch) | |
| tree | a1fc6ce05faf5d55a33234a18b695dd4c5bc1370 | |
| parent | 7751efd04aebb07bc82b5c0e8eeaca07be1ae112 (diff) | |
dashboard/config/netbsd: add fault(4) to the kernel build (#1795)
| -rw-r--r-- | dashboard/config/netbsd-kasan.config | 2 | ||||
| -rw-r--r-- | dashboard/config/netbsd-kmsan.config | 2 | ||||
| -rw-r--r-- | dashboard/config/netbsd-kubsan.config | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/dashboard/config/netbsd-kasan.config b/dashboard/config/netbsd-kasan.config index d638a1a3b..f2e7953af 100644 --- a/dashboard/config/netbsd-kasan.config +++ b/dashboard/config/netbsd-kasan.config @@ -14,5 +14,7 @@ options KASAN_PANIC makeoptions KCOV=1 options KCOV +options FAULT + pseudo-device vhci usb* at vhci? diff --git a/dashboard/config/netbsd-kmsan.config b/dashboard/config/netbsd-kmsan.config index ae44979fa..1b15880db 100644 --- a/dashboard/config/netbsd-kmsan.config +++ b/dashboard/config/netbsd-kmsan.config @@ -14,5 +14,7 @@ options KMSAN_PANIC makeoptions KCOV=1 options KCOV +options FAULT + pseudo-device vhci usb* at vhci? diff --git a/dashboard/config/netbsd-kubsan.config b/dashboard/config/netbsd-kubsan.config index 249b4c2b6..791ca9cef 100644 --- a/dashboard/config/netbsd-kubsan.config +++ b/dashboard/config/netbsd-kubsan.config @@ -9,5 +9,7 @@ options UBSAN_ALWAYS_FATAL makeoptions KCOV=1 options KCOV +options FAULT + pseudo-device vhci usb* at vhci? |