#!/bin/sh
# This finding is in a hardware-gated driver code path.
# No PoC binary can be built/triggered on this QEMU guest (no required HW).
# The fix.diff is validated at source level (applies + compiles).
# On hardware that has the required device, build the DRM/ath/ips module:
#   cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_GENERIC
# Or just rebuild the specific module after applying fix.diff.
echo "HW-gated finding: no userspace PoC to build on this guest."
echo "Fix validated at source level. See VERDICT.md and fix.diff."
exit 0