#!/bin/sh
# run_bootB.sh -- DF-4059 case A panic finale on the UNPATCHED kernel.
# Fresh boot -> load rig -> prime -> offs (mirror) -> magic -> a.
# Expected: panic: amr: slot 0 not busy?  (amr_done+0x134) and the
# guest dies in DDB.
set -e
ROOT=$(cd "$(dirname "$0")/../../.." && pwd)
cd "$ROOT"
V=./dfbsd-qemu/vm.sh

$V run_root 'cd /root/rig && kldload ./dfamr_rig.ko'
$V run_root 'cd /root/rig && ./dfamr_ctl prime && ./dfamr_ctl offs > /dev/null && ./dfamr_ctl magic'
echo "=== DF-4059 case A finale: idle controller, completion id 0 ==="
$V run_root 'cd /root/rig && ./dfamr_ctl a' || true
sleep 5
tail -25 "$ROOT/dfbsd-qemu/boot.log"