#!/bin/sh
# DF-1212 — no runtime PoC (HW not present on audit guest).
# This script documents the fix-build validation command.
# Run inside the guest on /usr/src after applying fix.diff:
set -e
echo "Building single-fix kernel (validates DF-1212 + DF-1214 + DF-1223 compile in GENERIC)..."
cd /usr/src
make -j6 nativekernel KERNCONF=X86_64_GENERIC 2>&1 | tail -5
echo "rc=$?"