#!/bin/sh
# DF-5145 build
set -e
cd "$(dirname "$0")"
guest: cd /usr/src/sys/dev/misc/ipmi && make   (audit-tree kernel via: cd /usr/src && make nativekernel KERNCONF=X86_64_GENERIC && make installkernel KERNCONF=X86_64_GENERIC)