#!/bin/sh
# DF-1295 build — no PoC binary (hardware driver, unreachable on guest).
# The fix is validated by compiling the patched kernel; see ../fix_build.log.
echo "DF-1295: hardware-driver finding; no PoC binary to build."
echo "Validate the fix with:  make -j6 nativekernel KERNCONF=X86_64_GENERIC"
echo "(after applying fix.diff to /usr/src)"
exit 0