#!/bin/sh
# No userspace PoC for this finding (hardware-gated driver bug).
# Validate the fix by applying fix.diff and building a kernel.
set -e
cd "$(dirname "$0")"
if [ -f fix.diff ]; then
    echo "build.sh: applying fix.diff and rebuilding kernel..."
    echo "  (run on guest as root: cd /usr/src && patch -p1 < fix.diff && make -j6 nativekernel KERNCONF=X86_64_GENERIC)"
fi
echo "build.sh: no userspace binary to build for this finding."