#!/bin/sh
# DF-5493 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
in guest: cd /root/df5493 && sh ./run.sh a   # baseline: Fatal trap 12 VA 0x0 (lockmgr_exclusive+0x5d); after vm.sh reset with-src + rebuild: sh ./run.sh b   # baseline: Fatal trap 12 VA 0x0 (if_down_dispatch+0x66); fix validation: patch -p1 < fix.diff in /usr/src, rebuild+install uether.ko, rebuild rigs, re-run both -> SURVIVED + KLDLOAD_RC=0 + traps:0 + UNLOAD_OK