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