diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-04 18:42:36 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-04 18:42:36 -0400 |
| commit | e214609c2f60e35254c243a806a82a0f1d4ec3ae (patch) | |
| tree | 1731b30a65f1cd45ebea9155d1bf882017b17dc3 /debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md | |
| parent | 09b50bfee94fe21088fa1449e16153b9a413b44b (diff) | |
| download | open-iov-e214609c2f60e35254c243a806a82a0f1d4ec3ae.tar.gz open-iov-e214609c2f60e35254c243a806a82a0f1d4ec3ae.zip | |
greeneye: GMMU/FBIF observability, PTE decoder and oracle, MPU/libos simulator wave
Simulator development wave (docs 42-44): GMMU page-table entry decode with its oracle/workflow harness, FBIF observability, and MPU/LIBOS device surfaces in the device model, plus refreshed boot/machine/profile data (tu104-570.144), the qemu-line results, and the new unit tests. Docs 00/06/35-41 updated to match; harness helpers and .gitignore included.
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.md | 8 |
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): |