#!/bin/sh
# DF-2929 run (inside guest as unprivileged user dfbsd-maxx)
# Usage: ./run.sh [seconds]
# Success criterion: kernel panics with
#   KKASSERT "gd == mycpu && (info->flags & SYSTF_IPIRUNNING) == 0" in systimer_del
# (check serial console / vm.sh log). If no panic, prints final iteration count.
set -x
cd /tmp
./df2929 "${1:-120}"