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.

1 files changed, 40 insertions, 40 deletions

diff --git a/debug/risc-v-gsp-rm-vm/harness/qemu_line/sim-qemu-line.json b/debug/risc-v-gsp-rm-vm/harness/qemu_line/sim-qemu-line.json
index 4df3593..f5ccc4e 100644
--- a/debug/risc-v-gsp-rm-vm/harness/qemu_line/sim-qemu-line.json
+++ b/debug/risc-v-gsp-rm-vm/harness/qemu_line/sim-qemu-line.json
@@ -6,7 +6,7 @@
         "detail": {
           "analyze_chars": 444,
           "analyze_session": "harness/qemu_line/sessions/native-1",
-          "compare_chars": 526,
+          "compare_chars": 394,
           "compare_headers": [
             "Breakpoint profile delta (A vs B)",
             "Watchpoint delta",
@@ -43,9 +43,9 @@
           "dir": "harness/qemu_line/sessions/features-inject",
           "expected": 48814,
           "hashes": {
-            "events.jsonl": "08ab0874cfad71e0e4565b569d9b0ea5251bf158eaab3cdf17798182e4c66a95",
-            "session.json": "f34b677be0b0b453cdade4487118e059c3dfb5a1010d4e6c2fc8b37a867fb25e",
-            "summary.md": "59a1aa4f2b616d5266d565c4df4b0257d11aab95b09cec80f380e9aca8bfc22f"
+            "events.jsonl": "ce9c81fb9663813c5eefbacfb94af69dc4050ef563fd62e302869942ae207be1",
+            "session.json": "bb203d2e551f906cc24500c4b3f2d8263e1218267ce6aa809d99dd9c964caae2",
+            "summary.md": "a6a087528c23227628faa0e3ad3a646b66bf06c06489d26fda4e82091a7bb2ac"
           },
           "ping_result": 48814,
           "slot": 6
@@ -79,9 +79,9 @@
             "watch_hit": 1
           },
           "hashes": {
-            "events.jsonl": "a6328cb00287bdf678d9b62d496929fc59190a08af3910b059c840c6bc98462e",
-            "session.json": "2372eea627f31d11f114019759d8d6dc665683bbc88e834f158f56b16fa5c0d4",
-            "summary.md": "6dfca9e61a4f23374b90dbef995d86771130fcf4c2b61dc40aac6d379d4b8706"
+            "events.jsonl": "4ed32100308c465d999c78b71a232ab096e3cfcbb82561f46c5046eb34a0f462",
+            "session.json": "6c8c45b9b4be70b934c3a43b4bd00df4a1e875baafe7c8988b13d5a18dbc4813",
+            "summary.md": "9e7af234005461bd8b4395498fa3b58a3da5e589184c51e34b399f8cba37d50b"
           }
         },
         "status": "pass"
@@ -99,8 +99,8 @@
           "dir": "harness/qemu_line/sessions/features-trace",
           "events": 4001,
           "hashes": {
-            "events.jsonl": "36b80ed88205daa8e1bd58536eb274ed4849c3d4b1a05daa0f2c44382c7b764a",
-            "session.json": "a09ec38202c291a5b7a3719434ea785725e291cba2dc877d94cd0caf7fcd1a4e",
+            "events.jsonl": "649ddd072446b2184427b6ea18a7e6bad6c118a0aa63c77bfff591cf9165114d",
+            "session.json": "c6abc0bbae7539b0c5d6685e700a6105c55d64821f42451b0f8ea386e0568020",
             "summary.md": "10686e9f247862f4b0f2c68a2353821f4039befdd76846f8daefa72ae79f4b44"
           },
           "max_events": 4000
@@ -129,7 +129,7 @@
   "native": {
     "backend": "native",
     "compare": {
-      "chars": 526,
+      "chars": 394,
       "headers": [
         "Breakpoint profile delta (A vs B)",
         "Watchpoint delta",
@@ -139,70 +139,70 @@
     },
     "device_model_used": true,
     "identical": true,
-    "instructions_budget": 200000,
-    "pair_wall_s": 0.3093,
+    "instructions_budget": 2000000,
+    "pair_wall_s": 1.2722,
     "profile": "sim/profiles/tu104-570.144.json",
     "ran": true,
     "reason": "ok",
     "repeat": 2,
-    "rung": "B2",
+    "rung": "B3",
     "rung_basis": "observed S1 boot-ladder rung from sim.gsp_boot (milestones=['bootargs_consumer', 'relocation_copy'], mmio_unknown=0, device_unhandled=0)",
     "runs": [
       {
         "cycle_model": "rv64imac-modeled/1",
-        "cycles": 27294,
-        "device_accesses": 1,
-        "device_state_sha256": "3fa264b9f81081e8455a9cd26c0c2a721e3ac272e1079105a0eb191b1497f83d",
+        "cycles": 871904,
+        "device_accesses": 15,
+        "device_state_sha256": "5b3cc7e4af933e01057cc6ab7d858ecbb11f76f2d10f3f8963a7fc974e239323",
         "device_unhandled": 0,
         "first_unknown_mmio": null,
-        "instructions": 14682,
+        "instructions": 474043,
         "milestones": [
           "bootargs_consumer",
           "relocation_copy"
         ],
         "mmio_unknown": 0,
-        "rung": "B2",
+        "rung": "B3",
         "rung_basis": "observed S1 boot-ladder rung from sim.gsp_boot (milestones=['bootargs_consumer', 'relocation_copy'], mmio_unknown=0, device_unhandled=0)",
         "session": "harness/qemu_line/sessions/native-1",
         "session_hashes": {
-          "events.jsonl": "f1f336af84b750b0c8bf8f8e9a7a3952161eb884418f5580f08cb3e26a070713",
-          "session.json": "c756f8078812aa1ed03628e097ee517320d7de3664089f1133861c96130d5b5b",
-          "summary.md": "c0aa5d5b2cb306fda703a7144af455c36fe72b9d1e2c73ddcdab905d36cdc8a7"
+          "events.jsonl": "0501ee6c127c8acfeb06c6b4c36aecacd791e872e05bf341883df22054d34315",
+          "session.json": "811b076cc5d4555062ce17474f302e64d6cb29e7af9e5c05cb7d7f67825bd315",
+          "summary.md": "9ad8c39a95078b9aca1cf1ca0b83a1f7ce22b0dd33e679aaa5f8eb5068a97b75"
         },
         "stop": {
-          "pc": 67168780,
-          "pc_fw": 67168780,
-          "reason": "fault"
+          "pc": 67207224,
+          "pc_fw": 67207224,
+          "reason": "ecall"
         },
-        "wall_s": 0.1561
+        "wall_s": 0.6548
       },
       {
         "cycle_model": "rv64imac-modeled/1",
-        "cycles": 27294,
-        "device_accesses": 1,
-        "device_state_sha256": "3fa264b9f81081e8455a9cd26c0c2a721e3ac272e1079105a0eb191b1497f83d",
+        "cycles": 871904,
+        "device_accesses": 15,
+        "device_state_sha256": "5b3cc7e4af933e01057cc6ab7d858ecbb11f76f2d10f3f8963a7fc974e239323",
         "device_unhandled": 0,
         "first_unknown_mmio": null,
-        "instructions": 14682,
+        "instructions": 474043,
         "milestones": [
           "bootargs_consumer",
           "relocation_copy"
         ],
         "mmio_unknown": 0,
-        "rung": "B2",
+        "rung": "B3",
         "rung_basis": "observed S1 boot-ladder rung from sim.gsp_boot (milestones=['bootargs_consumer', 'relocation_copy'], mmio_unknown=0, device_unhandled=0)",
         "session": "harness/qemu_line/sessions/native-2",
         "session_hashes": {
-          "events.jsonl": "d0d15816dbde8c85c30ba2576f97c9d5e3f470e6c38d9b4762d266a612cafe12",
-          "session.json": "8c7f0ea958a930edb814690bc0b233be01fcab3f747332abff39989e66642c2e",
-          "summary.md": "d2d6154ec22f4ee0d942543a32c29699ccb8031188df955c415d836462d04fd3"
+          "events.jsonl": "77b6fb63a1b0be8d2f5eef9e786795849c1ad74acab96cc8cfb7a37790bd804a",
+          "session.json": "626646f2bc8f8200a339d2f93a23297eaaf39160fb41de9a97867de7ad6dc131",
+          "summary.md": "1ad09477c1ba2611db4a6ff9e47a38441395fe3b198b407b659a8a8e4b28ab95"
         },
         "stop": {
-          "pc": 67168780,
-          "pc_fw": 67168780,
-          "reason": "fault"
+          "pc": 67207224,
+          "pc_fw": 67207224,
+          "reason": "ecall"
         },
-        "wall_s": 0.1524
+        "wall_s": 0.6167
       }
     ]
   },
@@ -235,12 +235,12 @@
     "rung": "pre-B0",
     "session": "harness/qemu_line/sessions/qemu-probe",
     "session_hashes": {
-      "events.jsonl": "cdba69c63e306f4c3de220b171e2ea7c1de4bd4abf18cdba1fb51bc681d5d172",
-      "session.json": "7e3f0f8b24c0403d114e59f68ed1b923e44abbfbf19f4865bd566a1b631c64ac",
+      "events.jsonl": "0f59d5d26b51be185e1a38b4540dee06303f8a2c0661519d9e1a32d2e6b10062",
+      "session.json": "f3d1eaf6dab15c79b0f4c4019f431a8032dc2b014d3acb17f63407326eca5e26",
       "summary.md": "d141fa06d3e2d0603f3b99ad7603758e1fc14627aed74c6fe8a6ad22c56eb14b"
     },
     "stopped_pc": 0,
-    "wall_s": 0.9519
+    "wall_s": 0.9578
   },
   "rerun_when_s1_lands": [
     "python3 harness/sim_qemu_line.py",