#!/bin/sh
# DF-2423 build
set -e
cd "$(dirname "$0")"
push dfx2423.c + build.sh to guest /tmp; sh /tmp/build.sh (kernel build, sha256-gated verbatim TU include); shutdown -r now