#!/bin/sh
# DF-2533 build
set -e
cd "$(dirname "$0")"
cd findings/poc/DF-2533 && ./build.sh  (sha256 gate; kernel-compiled harness; make -j6 nativekernel KERNCONF=X86_64_GENERIC; make installkernel; reboot)