#!/bin/sh
# DF-0718 run — deterministic panic trigger (run as root, after `kldload smbfs`).
# On the BUGGY kernel: panics (Fatal trap 12 in smb_dev2share+0x59).
# On the FIXED kernel: returns errno=22 (EINVAL), kernel survives.
set -e
echo "[*] running panic trigger (SO_RCVLOWAT=3 shaped socket -> mount smbfs)"
./panic
echo "[+] returned without panic (FIXED kernel behavior)"