#!/bin/sh
# DF-2712 build
set -e
cd "$(dirname "$0")"
cd findings/poc/DF-2712 && ./build.sh  (compiles df2712_rig.c into the guest kernel via make nativekernel, installs, sets kern.user_scheduler=bsd4, reboots)