#!/bin/sh
# guest-side run (DF-2729 mode): pin loader+trigger to cpu0 (target cpu1)
usched :1 kldload /usr/obj/tmp/df2728/df2728.ko
usched :1 sysctl -n debug.df2728=2     # DF-2729 trigger: expect INVARIANTS panic