#!/bin/sh
# HW-gated driver bug — no userspace PoC compiles. Validation is a
# kernel rebuild of the patched source; see fix.diff and VERDICT.md.
echo "DF-1581: HW/module gated — see VERDICT.md. Validate the fix with:"
echo "  cd /usr/src && patch -p1 --forward < DF-1581.diff"
echo "  make -j6 nativekernel KERNCONF=X86_64_GENERIC   # rc=0 expected"
exit 0