#!/bin/sh
# DF-1239/DF-1240: iwi (Intel PRO/Wireless 2200BG) — driver NOT in GENERIC,
# NOT loaded, NO WiFi hardware on guest. Cannot build/run a trigger PoC.
set -e
echo "DF-1239/DF-1240: iwi_frame_intr / iwi_checkforqos"
echo "==================================================="
echo "iwi is NOT in X86_64_GENERIC (LINT64-only). No Intel WiFi card on guest."
echo "Both bugs confirmed real at source level (see VERDICT.md)."
echo ""
echo "To validate the fix on a system with /usr/src:"
echo "  cd /usr/src/sys/dev/netif/iwi && patch < fix.diff && make"
echo "  (if_iwi.ko builds successfully with the fix)"