#!/bin/sh
# DF-5530 build
set -e
cd "$(dirname "$0")"
sh build_guest.sh  (on guest as root; needs /usr/src/sys; produces df5530_race.ko + sink/bpfdetach_null.ko; QEMU guest must have a USB controller, e.g. -device qemu-xhci)