#!/bin/sh
# DF-2524 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh   # kern.df252x.go=3 dispatches DISCONNECT with pActiveSRB==NULL; capture the panic with: vm.sh log 40