#!/bin/sh
# DF-5007 build
set -e
cd "$(dirname "$0")"
sh build.sh  (guest /root/df5007: copies stock /usr/src tpm20.c [sha256 b3eea3... recorded], pulls device_if.h/bus_if.h/acpi_if.h from /usr/obj kernel tree, make -m /usr/share/mk, cc poc.c)