#!/bin/sh
# DF-2206 run.sh -- HW-gated finding; no live trigger on this audit guest
# (no GPU, so iounmap() is not reached at runtime).
# Phase 8 evidence is the patched-module compile (see build.sh / build_patched.log).
echo "DF-2206: HW-gated (no GPU on guest). Source-only verification."
echo "See VERDICT.md for the line-by-line source trace."
echo "Phase 8 evidence: build_patched.log shows drm.ko rebuilt rc=0 under -Werror."