#!/bin/sh
# DF-1143 — no buildable PoC: bug is in amdgpu/ci_dpm.c which is not compiled
# into the GENERIC kernel and depends on AMD GPU VBIOS data on real hardware.
# This script documents the situation rather than building an executable.
echo "DF-1143: no executable PoC. Bug confirmed in source at:"
echo "  sys/dev/drm/amd/amdgpu/ci_dpm.c:1122-1129 (t_diff1/t_diff2 divide)"
echo "Source values originate from VBIOS at:"
echo "  sys/dev/drm/amd/amdgpu/amdgpu_dpm.c:360-362 (le16_to_cpu(usTMin/usTMed/usTHigh))"
echo ""
echo "Driver NOT in GENERIC kernel; needs AMD GPU + module load + malicious VBIOS."
echo "See VERDICT.md and fix.diff."
exit 0