#!/bin/sh
# DF-0533 has no runnable trigger on this guest (requires 3CRWB6095 PCMCIA HW
# + the ng_bt3c module, neither present). This "build" just confirms absence.
cd "$(dirname "$0")"
echo "DF-0533: no build/run — driver not shipped, no PCMCIA hardware on guest."
echo "Source-level race confirmed by trace; see VERDICT.md."