#!/bin/sh
# DF-2419: build script.
# This finding is HARDWARE/TRIGGER-GATED and cannot be built or run on this
# guest: the required HBA/device/trigger is absent (see VERDICT.md / env.txt).
# No userspace PoC can exercise the cited kernel path here.
echo 'DF-2419: no buildable PoC (HW-gated). See VERDICT.md for the gate and fix.diff for the fix.'
exit 0