#!/bin/sh
# DF-5613 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
guest: QEMU_EXTRA='-m 2048' vm.sh up; sh run.sh  (kldload df5613.ko; sysctl kern.df5613_test=2 then =1; read kern.df5613_status)