#!/bin/sh
# DF-2379: no kernel PoC build (HW-gated, no device on QEMU).
set -e
echo "No userspace PoC to build for DF-2379: the bug is in an absent-HW driver path."
echo "See VERDICT.md for the gate proof and VERDICT.md/fix.diff for the code fix."
exit 0