#!/bin/sh
# DF-4094 probe: prove the emu10k1 attach path is unreachable on this guest.
# Expected: no 0x1102 PCI device, snd_emu10k1 cannot load -> attach-failure
# leak is hardware-gated; source-level certainty only.
echo "== uname =="; uname -a
echo "== Creative (0x1102) PCI devices =="; pciconf -l | grep 1102 || echo "(none)"
echo "== sound devices =="; ls /dev/snd* 2>/dev/null || echo "(none)"
echo "== try loading snd_emu10k1 =="
kldload snd_emu10k1 2>&1 || true
echo "== after: /dev/snd* =="; ls /dev/snd* 2>/dev/null || echo "(none)"
echo "== dmesg tail =="; dmesg | tail -5