#!/bin/sh
# DF-1112 run — no runtime trigger on this guest (no GSBUS opregion in
# the BOCHS DSDT, smbus_acpi driver never attaches).
echo "DF-1112: no runtime trigger on this guest (no GSBUS opregion)."
echo "See VERDICT.md and df1112.c for the source-level proof."