#!/bin/sh
# DF-2941/DF-2942 sysref layer probe -- run on the DragonFly guest.
# kldload runs triggers A (DF-2942 double-terminate) and B (DF-2941
# count==0 acceptance + KKASSERT panic).  Expected: trigger A logs a
# double termination without any layer diagnostic; trigger B logs the
# 0 -> -1 walk, then the guest panics at kern_sysref.c:303.
set -e
cd "$(dirname "$0")"
D=dfbsd-qemu
ssh -F $D/config -o ConnectTimeout=8 -o BatchMode=yes dfbsd \
    'kldload /root/sysref_probe/sysref_probe.ko; echo kldload_rc=$?' 2>&1 || true
sleep 6
echo '--- serial console tail ---'
$D/vm.sh log 200 || true