#!/bin/sh
# DF-5171 build
set -e
cd "$(dirname "$0")"
sh build.sh (inside guest, as root; builds VKERNEL64 with two documented test-enablers, the static PoC and the images)