#!/bin/sh
# DF-2728 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
usched :1 kldload /usr/obj/tmp/df2728/df2728.ko; (usched :2 /usr/local/bin/spin &); usched :1 sysctl -n debug.df2728=3; usched :1 sysctl -n debug.df2728=1