#!/bin/sh
echo "DF-2336: no PoC binary built (HW-gated: bug is attach-time, controller-driven MMIO;"
echo "         unprivileged user cannot present a malicious xHCI controller)."
echo "Gate proof: see env.txt and usb_gate.txt."
exit 0