#!/bin/sh
# DF-0842 build -- kernel module harness, built in-guest against /usr/src/sys
# Must be run inside the guest (or via vm.sh run_root) from the poc/DF-0842 dir.
set -e
SYSDIR=/usr/src/sys
KERNBUILDDIR=/usr/obj/usr/src/sys/X86_64_GENERIC
make SYSDIR=${SYSDIR} KERNBUILDDIR=${KERNBUILDDIR} 2>&1
echo "BUILD_EXIT=$?"
ls -l df0842_harness.ko 2>/dev/null