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 | 1f2073d4fbb1d412d9bbf373312e3c51b83db92a (patch) | |
| tree | a661537d7ec9510324e0a40a5a65e4b8c853f01b /debug/risc-v-gsp-rm-vm/docs/40-NEW-VERSION-TRIAGE.md | |
| parent | c1adf2727983f5cace8ca0f5d1119ac2256c348e (diff) | |
| download | open-iov-1f2073d4fbb1d412d9bbf373312e3c51b83db92a.tar.gz open-iov-1f2073d4fbb1d412d9bbf373312e3c51b83db92a.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): |