#!/bin/sh
# DF-2997 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
dfbsd-qemu/vm.sh run_root 'cd /root/df2997 && sh run.sh > run.raw 2>&1'   (baseline stock kernel); then apply fix.diff in guest /usr/src, make nativekernel + installkernel + reboot, sh run_fixed2.sh (fix validation); run_stocknod.sh on stock proves the umount panic pre-exists