From 002e3d7d13c414ea874abbee8d82803dd3a72fe5 Mon Sep 17 00:00:00 2001
From: Arthur Hanson Rasmusson <arthur@vgpu.io>
Date: Fri, 2 Oct 2026 10:58:21 -0400
Subject: debug: green-eye wave 3 - RM harness, local simulator, device map,
 MCP plugin, value-validation demos, CI pipeline, toolchain docs; add host RM
 tools rmtool/rmtop

---
 debug/risc-v-gsp-rm-vm/rmharness/rmtool.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 debug/risc-v-gsp-rm-vm/rmharness/rmtool.sh

(limited to 'debug/risc-v-gsp-rm-vm/rmharness/rmtool.sh')

diff --git a/debug/risc-v-gsp-rm-vm/rmharness/rmtool.sh b/debug/risc-v-gsp-rm-vm/rmharness/rmtool.sh
new file mode 100755
index 0000000..405a766
--- /dev/null
+++ b/debug/risc-v-gsp-rm-vm/rmharness/rmtool.sh
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+# rmtool.sh - build-if-needed wrapper for the Open-IOV rmtool RM oracle.
+# Read-only tool; see ../docs/17-RM-HARNESS.md for the safety contract.
+set -euo pipefail
+HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+ROOT="$(cd "$HERE/../../.." && pwd)"
+BIN="$ROOT/tools/rmtool/rmtool"
+if [[ ! -x "$BIN" ]]; then
+	make -C "$ROOT/tools/rmtool" >&2
+fi
+exec "$BIN" "$@"
-- 
cgit v1.2.3