diff options
| -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? |