#!/bin/sh
# DF-4867 evidence collector — live negative evidence for the ata-intel boot path
# Run from the repo root on the host. Guest must be up (dfbsd-qemu/vm.sh up).
set -e
D=$(dirname "$0")
dfbsd-qemu/vm.sh run_root 'uname -a'                    >  "$D/env.txt"
dfbsd-qemu/vm.sh run_root 'pciconf -r pci0:1:1 0x40:0x5f' >> "$D/env.txt"
dfbsd-qemu/vm.sh run_root 'pciconf -lv | grep -B1 -A3 atapci0' >> "$D/env.txt"
dfbsd-qemu/vm.sh run_root 'dmesg | grep -E "atapci0|ata[01]:|acd0|ad0"' > "$D/dmesg.txt"
echo "--- dmesg.txt ---"; cat "$D/dmesg.txt"
echo "--- 0x54 dword (expect 0400 vendor bit from ata-intel.c:310) ---"
grep -o '00000400' "$D/env.txt" || true