#!/bin/sh
# DF-5652 — upper-bound proof (run LAST; panics the INVARIANTS guest
# at elcr.c:106; the rig is reset with-src afterwards).
set -e
cd /root/elcrx
kldload ./elcrboom.ko || true
dmesg | tail -20 || true