#!/bin/sh
# DF-1151 — no executable PoC. Bug confirmed in source; radeon driver not in
# GENERIC kernel and requires AMD GPU + malicious VBIOS. See VERDICT.md.
echo "DF-1151: source bug confirmed at sys/dev/drm/radeon/ci_dpm.c:1018-1025"
echo "Not reachable on default GENERIC guest (radeon not in kernel, no AMD GPU)."
exit 0