#!/bin/sh
# DF-2753 evidence pack run (on the DragonFly guest, as an unprivileged user)
# Usage: ./run.sh [seconds] [kill_threads]
# Expected: kernel panic "Fatal trap 12: page fault while in kernel mode",
# fault VA < 0x1000, in p_trespass/caps_get via killpg_all_callback.
#           ssh connection dies; serial console (vm.sh log) shows the panic.
SEC=${1:-60}
NK=${2:-4}
cd "$(dirname "$0")"
timeout $((SEC + 30)) ./sidl_race "$SEC" "$NK"
rc=$?
echo "rc=$rc (124=timeout/guest wedged, 0=survived)"
exit $rc