#!/bin/sh
# DF-1223 — no runtime PoC (mpr HW not present).
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=$?"