#!/bin/sh
# DF-DF-2024 — HW-gated finding (IPMI SSIF needs a BMC / amdgpu needs an AMD GPU).
# No userspace PoC can be built or run on a guest without the hardware.
# "Build" for this finding = apply fix.diff to /usr/src and run a kernel build:
#   cd /usr/src && git apply -p1 $(dirname $0)/fix.diff
#   make -j6 nativekernel KERNCONF=X86_64_GENERIC
# Combined fix-validation build (DF-2024/2025/2026/2027 together) -> rc=0, 0 warnings.
echo "DF-DF-2024: HW-gated (no runtime PoC). Verification = source-trace + fix.diff applies/compiles."
echo "See VERDICT.md for the line-by-line source trace and fix_build.log for the build proof."
exit 0