#!/bin/sh
# DF-5408 step 1: build the vkernel on the guest (adapted from the DF-5337 rig)
set -e
grep -q '__build_id_start\[1\]' /usr/src/sys/platform/vkernel64/platform/init.c || \
printf '\n/* DF-5408 build shim */\nchar __build_id_start[1] = { 0 };\nchar __build_id_end[1] = { 0 };\n' \
    >> /usr/src/sys/platform/vkernel64/platform/init.c
sysctl vm.vkernel_enable=1
mkdir -p /var/vkernel
cd /usr/src
make -j6 nativekernel KERNCONF=VKERNEL64