#!/bin/sh
# DF-0842 run -- load the harness module (root). On the unpatched kernel the
# load triggers the NULL-window write -> fatal page-fault panic (captured in
# the serial boot.log). On a fixed kernel the module loads cleanly and prints
# "NO PANIC -- window was allocated; bug is absent/fixed".
#
# Expected on BUGGY kernel:  fatal trap 12 (page fault), fault VA = 0x0
# Expected on FIXED kernel:  module loads, "z_inflate returned 1 ... NO PANIC"
set +e
kldload ./df0842_harness.ko 2>&1
echo "KLDLOAD_EXIT=$?"
kldstat -n df0842_harness 2>&1 && kldunload df0842_harness 2>&1