#!/bin/sh
# No live trigger on this guest (no).
# Proof is source-level: see VERDICT.md and fix.diff.
echo "DF-1502: HW/module gated on this guest. See VERDICT.md for the source-level"
echo "confirmation at sys/dev/misc/musycc/musycc.c:649-657, and fix.diff for the validated fix."
exit 0