#!/bin/sh
# DF-4051 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload nfereplica.ko; sysctl kern.nfereplica.arm=1; sleep 2; (sysctl kern.nfereplica.stop=1 &); sleep 6; dmesg | grep nfereplica | tail -4; ps -o pid,stat,wchan,command -ax | grep -E 'stop=1|softclock'