#!/bin/sh
# build_kernel.sh -- build the FWO harness kernel in the guest.
# Prereq (prep_guest.sh): /usr/src/sys/bus/firewire/fwohci_harness.c
# + conf/files entry + sys/config/FWO = X86_64_GENERIC + device
# fwohci_harness.  The harness #includes the UNMODIFIED fwohci.c.
set -e
cd /usr/src
make -j6 nativekernel KERNCONF=FWO
make installkernel KERNCONF=FWO
echo BUILD_KERNEL_OK