#!/bin/sh
# DF-1393 PoC runner
# This finding is Module-not-loaded (midi sequencer).
# It CANNOT be triggered on this QEMU guest (no GPU hardware / module not loaded / root-only).
#
# Reachability: NOT reachable as maxx. The sound/midi module is not in GENERIC and not loaded. No /dev/sequencer* or /dev/music* device nodes exist. Would require `kldload` (root-only). Device perms are 0666 but device does not exist on this guest.
#
echo "DF-1393: Module-not-loaded (midi sequencer) — not reproducible on this guest"
echo "Reason: NOT reachable as maxx. The sound/midi module is not in GENERIC and not loaded. No /dev/sequencer* or /dev/music* device nodes exist. Would require `kldload` (root-only). Device perms are 0666 but device does not exist on this guest."
exit 0