#!/bin/sh
# DF-3046 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sysctl -w kern.dfrig12=1; sysctl -n kern.dfrig12_status  (also inspect dmesg for the per-subtest console lines)