#!/bin/sh
# DF-2255 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
in-guest root: sysctl -w kern.df2255.rig=ovfall; sysctl -w kern.df2255.rig=diff; sysctl -w kern.df2255.rig=chk; dmesg | grep DFH: