#!/bin/sh
# DF-4275 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
guest: kldload /usr/src/df4275/df4275rep.ko; sleep 8; dmesg | grep df4275; ps -axo pid,tdo,stat,wchan,comm | grep -E 'df4275|softclock'