#!/bin/sh
# DF-0018 run.sh -- loads the harness; panics an INVARIANTS (default GENERIC)
# kernel via the KKASSERT at kern_dmsg.c:1076.  Run inside the guest as root.
# On the FIXED kernel this returns 0 and prints
#     kdmsg: msgrx: duplicate DELETE
#     kdmsg: msgrx: state=0xffff... error 37 (EALREADY)
set -e
cd "$(dirname "$0")"
echo "kldload ./df18_harness.ko (expect panic on UNPATCHED, graceful on FIXED)"
kldload ./df18_harness.ko
echo "run.sh: harness returned (no panic -- kernel is fixed or noINVARIANTS)"