#!/bin/sh
# DF-3045 build
set -e
cd "$(dirname "$0")"
on the guest: sh build.sh  (sha256-gates bootp_subr.c to the audited tree, compiles the verbatim source via the harness into the kernel; reboot)