#!/bin/sh
# DF-4506 build
set -e
cd "$(dirname "$0")"
guest: cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_GENERIC && make installkernel KERNCONF=X86_64_GENERIC (with amplifier.diff [+ fix.diff for the patched run]); cd /root/idr_race && make SYSDIR=/usr/src/sys