#!/bin/sh
# DF-5416 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
guest: sh run.sh  (kldload df5413.ko; sysctl kern.df5413_test=4) -- expect guest panic