#!/bin/sh
# DF-4792 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh     (inside guest: kldload baseline -> unload -> kldload fixed -> unload; results in dmesg)