#!/bin/sh
# DF-2256 build
set -e
cd "$(dirname "$0")"
in-guest root: cd /root/df2255 && sh build.sh (sha256-gated verbatim extraction + nativekernel + installkernel), then reboot