#!/bin/sh
# DF-1245 run: no runtime trigger possible on this guest.
echo "DF-1245: evergreen_cs divide-by-zero — NOT RUNTIME-REACHABLE on this guest."
echo "  Reason: radeon.ko not loaded; no AMD Evergreen GPU 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