#!/bin/sh
# HW-gated driver bug — no userspace PoC compiles. Validation is a
# module/kernel rebuild of the patched source; see fix.diff and VERDICT.md.
echo "DF-1490: HW/module gated — see VERDICT.md. Validate the fix with:"
echo "  cd /usr/src/sys/sys/dev/netif/tx && make   # builds the affected module"
echo "  (or) make -j6 nativekernel KERNCONF=X86_64_GENERIC"
exit 0