#!/bin/sh
# DF-5678 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh  (userland differential); kldload /tmp/df5678/kmod_set/df5678.ko  (panic at prop_array.c:648); after reset: kldload /tmp/df5678/kmod_rem/df5678rem.ko  (panic at :701); fix: patch /usr/src with fix.diff, nativekernel+installkernel+reboot, kldload both modules (no panic)