#!/bin/sh
# DF-1203 reachability probe — no userspace PoC (VBIOS/device-controlled).
# Verifies whether the radeon parser is reachable on this guest.
set -e
echo "[DF-1203] reachability probe"
echo "--- AMD radeon GPU present? ---"
pciconf -l 2>/dev/null | grep -iE "radeon|1002|advanced micro" || echo "  no AMD/AMD-VGA device"
echo "--- radeon module loaded? ---"
kldstat 2>/dev/null | grep -i radeon || echo "  radeon.ko not loaded"
echo "--- radeon in running kernel config? ---"
grep -q "device.*radeon" /sys/config/X86_64_GENERIC 2>/dev/null \
  && echo "  radeon IN GENERIC" || echo "  radeon NOT in X86_64_GENERIC (module/LINT64 only)"
echo
echo "[DF-1203] VERDICT: parser (ni_parse_power_table) is unreachable on this"
echo "  guest -> bug is real (see VERDICT.md path:line trace) but NOT TESTABLE here."