#!/bin/sh
# DF-3593 probe: establish (a) bwn driver residency, (b) hardware absence.
# Run as root on the DF guest.  This is the honest extent of runtime
# verification possible on a virtio-only QEMU guest: the vulnerable path
# executes only from a bwn interrupt/TX-completion, which requires a
# Broadcom BCM43xx card on the Sonics Silicon Backplane.
echo "== uname =="; uname -a
echo "== bwn driver resident (sysctl node exists) =="
sysctl hw.bwn 2>/dev/null || echo "hw.bwn MISSING"
echo "== kernel config: bwn compiled in, INVARIANTS on =="
grep -nE "device[[:space:]]+(bwn|siba_bwn)|INVARIANTS" /usr/src/sys/config/X86_64_GENERIC 2>/dev/null
echo "== PCI scan: Broadcom 802.11 device? =="
pciconf -l | grep -E "class=028000|chip=0x[0-9a-f]+14e4" || echo "NO Broadcom wireless PCI device present"
echo "== interfaces =="
ifconfig -l