summaryrefslogtreecommitdiffstats
path: root/debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md
diff options
context:
space:
mode:
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md')
-rw-r--r--debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md8
1 files changed, 8 insertions, 0 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md b/debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md
index 613e966..aadae37 100644
--- a/debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md
+++ b/debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md
@@ -194,6 +194,14 @@ the QEMU line" next-action line no longer appears. Wall ≈2.7 s
(host-load dependent). The pre-S1 trace above is kept as the recorded
before/after evidence.
+Post-XMPU/libos wave (2026-10-03, session 4c; same command): with the default
+budget the `native_boot` step reports rung **B2** and a budget stop at
+200,000 instructions (no fault anymore — the former `0x400EA0C` wall is
+gone); with `--budget 2000000` it reports rung **B3** (474,043 instructions,
+`ecall` port wait, 0 unknown MMIO) and `ab_eval` verdict `above` (measured
+wall ≈4.1 s, 434× the frozen 1800 s manual baseline). The numbers in the
+example and the post-S1 paragraph above are the pre-wave record.
+
Baseline variant (same image both sides, an unchanged-version rehearsal with
the docs/21 path):