#!/bin/sh
# DF-5011 build
set -e
cd "$(dirname "$0")"
sh build.sh (in guest, kernel built without `device dimm`; see README.md precondition)