#!/bin/sh
# DF-4266 — build the KLD rig in the guest (exact commands).
# The KLD contains no production code under test: it dispatches the REAL
# static wb_rxeof()/wb_init()/wb_stop() of the running kernel (built-in
# `device wb'), whose addresses run.sh resolves from /boot/kernel/kernel
# with nm(1).  The only transcription is the one-line-FIXED comparator,
# clearly labeled (counterfactual for S1fix / fix A/B).
# Usage (from the host):
#   vm.sh run_root 'sh /root/df4266/build.sh'
set -e
cd /root/df4266
make -m /usr/src/share/mk
ls -l df4266_wb_poc.ko