#!/bin/sh
# DF-2707 build
set -e
cd "$(dirname "$0")"
cc -O -I/usr/src/sys -o df2707_trigger df2707_trigger.c (guest); non-INVARIANTS kernel via sed of X86_64_GENERIC + make nativekernel/installkernel + reboot