#!/bin/sh
# DF-2207 run.sh -- HW-gated finding; no live trigger on this audit guest
# (no GPU; the DRM_IOCTL_ADD_MAP path requires a bound DRM driver).
echo "DF-2207: HW-gated (no GPU on guest). Source-only verification."
echo "See VERDICT.md for the int*int overflow trace and the size_t fix."
echo "Phase 8 evidence: build_patched.log shows drm.ko rebuilt rc=0 under -Werror."