#!/bin/sh
# DF-5155 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload /tmp/pbmod/pbtest.ko   (on a CPU/VMM where MSR 0x1b0 faults, e.g. this KVM guest booted with QEMU_EXTRA='-cpu host')