#!/bin/sh
# DF-1252 run: no runtime trigger possible on this guest.
echo "DF-1252: radeon_combios unvalidated BIOS offsets — NOT RUNTIME-REACHABLE on this guest."
echo "  Reason: radeon.ko not loaded; no AMD Radeon GPU with COMBIOS in QEMU guest."
echo "  Status: source-confirmed real bug; fix authored and compile-validated."
echo "  See VERDICT.md for the line-by-line source trace."
exit 0