#!/bin/sh
# DF-2522 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh   # resolves trm_Interrupt = kldstat base + nm offset, sysctl kern.df252x.addr, then kern.df252x.go=2 (control sense_len=32) and =1 (DF-2522 sense_len=255); guest survives; markers in dmesg