#!/bin/sh
# DF-5119 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
kldload efirt; /tmp/efi_sz 0 (control ENXIO); /tmp/efi_sz 1 (panic A); reset+kldload; /tmp/efi_sz 2 (panic B)