#!/bin/sh
# run2.sh -- DF-2316 page-boundary fault scenario (25).  This PANICS the
# baseline kernel (fatal page fault at the first OOB byte); the panic text
# is captured from the serial console log on the host (vm.sh log).
# On a FIXED kernel this must survive with "UNEXPECTED no-fault" printed
# only when the fix is absent; with the per-tag length guards the handler
# is skipped before any dereference -> no fault, no skip-marker either.
set -e
cd /root/pnp
echo "=== DF-2316 page-boundary fault run (expect panic on baseline) ==="
uname -a
./pnphctl 25
echo "=== returned without fault (fixed kernel) ==="
dmesg | grep 'PNPH pg' | tail -10