#!/bin/sh
# DF-1244 run: no runtime trigger possible on this guest.
# mrsas_get_ld_list requires a LSI MegaRAID SAS controller (mrsas_pci_probe must match).
# Guest has only virtio devices. The code path is source-confirmed real but dormant.
echo "DF-1244: mrsas_get_ld_list OOB write — NOT RUNTIME-REACHABLE on this guest."
echo "  Reason: no LSI MegaRAID SAS controller in QEMU guest (only virtio)."
echo "  Status: source-confirmed real bug; fix authored and compile-validated."
echo "  See VERDICT.md for the line-by-line source trace."
exit 0