#!/bin/sh
# DF-2216 build
set -e
cd "$(dirname "$0")"
sh build.sh (batch harness kernel DFV22X = X86_64_GENERIC + device dfverify; verbatim linux_dmi.c sha256-gated)