#!/bin/sh
# DF-5464 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh — kldload each .ko on a kernel without INVARIANTS (stock GENERIC or X86_64_NOINV); livelock run uses caller-side timeout