#!/bin/sh
# No live trigger on this guest (HW/module gated).
# Proof is source-level: see VERDICT.md and fix.diff.
echo "DF-1562: HW/module gated on this guest. See VERDICT.md for the"
echo "source-level confirmation at sys/dev/netif/pcn/if_pcn.c:798-799,746, and fix.diff for the validated fix."
exit 0