#!/bin/sh
# DF-2845 build
set -e
cd "$(dirname "$0")"
in-guest: cp df2845_test.c /usr/src/sys/kern/ + sys/conf/files entry + custom kernel config (INVARIANTS commented out) + make nativekernel KERNCONF=DF2845_NOINV -j6