#!/bin/sh
# DF-5562 build
set -e
cd "$(dirname "$0")"
guest: cd /root/df5562 && make KERNBUILDDIR=/usr/obj/usr/src/sys/X86_64_GENERIC (boot QEMU with -device pci-ohci)