#!/bin/sh
# DF-5019 build
set -e
cd "$(dirname "$0")"
sh build.sh (guest, as root); for the panic variant: copy X86_64_GENERIC -> DF5019 with 'device tbridge' and run 'cd /usr/src && make -j6 nativekernel KERNCONF=DF5019 && make installkernel KERNCONF=DF5019'