#!/bin/sh
# DF-3331 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
in guest as root: sh run.sh       (baseline, stock kernel)
         fix: patch /usr/src/sys/netinet6/nd6.c with fix.diff, make nativekernel && make installkernel, reboot, sh run_fix.sh