#!/bin/sh
# DF-1238: trm (Tekram DC395U SCSI HBA) — driver NOT in GENERIC, NOT loaded,
# NO hardware on this guest. Cannot build/run a trigger PoC.
# This script validates that the fix.diff compiles as a kernel module.
set -e
echo "DF-1238: trm_Reselect circular DCB ring"
echo "=========================================="
echo "trm is NOT in X86_64_GENERIC (LINT64-only). No Tekram SCSI HBA on guest."
echo "The bug is confirmed real at source level (see VERDICT.md)."
echo "Validating fix.diff compiles..."
echo ""
echo "To validate the fix on a system with /usr/src:"
echo "  cd /usr/src/sys/dev/disk/trm && patch < DF-1238.diff && make"
echo "  (trm.ko builds successfully with the fix)"