#!/bin/sh
# DF-3204 build
set -e
cd "$(dirname "$0")"
sh build.sh  (sha256 verbatim gate + make -j6 nativekernel KERNCONF=X86_64_GENERIC + make installkernel; reboot)