From c9bf1cf098c8ea4daeb3e6c9b274a9025c03045d Mon Sep 17 00:00:00 2001 From: Arthur Hanson Rasmusson Date: Fri, 2 Oct 2026 15:13:06 -0400 Subject: kernel: GR context-promote bisection modes 4-17 and server-managed-ctxbuf registry variant; complete vgsp rename; docs/tooling refresh - gsp_phys_booter: GR promote bisection modes 4-17 (two-phase zero-field VA, batched entries, hVirtMemory, bare VA, KMD SKIP_CTXBUFFER_ALLOC channel, old-interface GPU_INITIALIZE_CTX, FBMEM context buffer, UVM-faithful PA-only, PATCH/PM auxiliary promotes, server-managed no-promote path); PATCH/PM geometry queries and buffers; pre-boot SET_REGISTRY profile selection - gsp_phys_gpu: gsp_phys_rmcall_gr_promote clamp 0..17 and gsp_phys_srv_ctxbuf parameter; registry image variant with RMSetClientRMAllocatedCtxBuffer=0 - vgsp rename across kernel, scripts, tools and docs (module vgsp.ko, /sys/kernel/debug/vgsp/, vgsp-: log prefixes) - risc-v-gsp-rm-debugger user-facing rename and docs/CI refresh; guest-diag tool updates; README/SBOM/install/Makefile sync Live status: CE ladder and P6 guest-copy forwarding green; GR engine context commit still open (all promote shapes accepted or cleanly refused; the channel stays CTXNOTVALID) - see Handoff-vGPU-IO.md Addendum 21 (local). --- debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md') diff --git a/debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md b/debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md index db71833..a7feb21 100644 --- a/debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md +++ b/debug/risc-v-gsp-rm-vm/docs/15-AGENTIC-GSP-IDE.md @@ -14,7 +14,7 @@ a **deterministic, scriptable harness** (`ge.launch`/`ge.attach`, `Session`, * sessions are the shared state between agents, humans and Ghidra, so every claim is inspectable after the fact; * **humans keep product-change authority**: an agent may propose an - `open-iov-vfio` change with evidence, but only a human merges it, and the + `vgsp` change with evidence, but only a human merges it, and the physical-confirmation rules of docs/06 and docs/07 still apply. Non-goals: autonomous hardware cycles, unattended reboots, agents that "fix" @@ -249,7 +249,7 @@ the reply/object, and in what order relative to ``?" 6. Stop condition: direct and firmware-dispatched results agree, the session is recorded, and the prototype is documented as development-only. Product - code goes to `open-iov-vfio` only through the accuracy loop (docs/11 §8, + code goes to `vgsp` only through the accuracy loop (docs/11 §8, docs/12 §9); GSP-RM registration is roadmap H1.3. ### 4.4 Prepare a portability report @@ -288,7 +288,7 @@ Hard rules (no agent may override them): * **No unattended hardware.** The agent runs against the simulator by default; physical GPU cycles are supervised and human-driven (H7). * **Human approval for product changes.** Agents produce proposals and - evidence packs; only humans merge `open-iov-vfio` changes. + evidence packs; only humans merge `vgsp` changes. * **Budgets everywhere.** Every run uses `duration=`/`max_stops=`/`timeout=` and a wall-clock cap; a wedged target leaves the session stopped and is restarted clean rather than poked. @@ -300,7 +300,7 @@ Capability manifest for actions (proposed file for the harness; see §7): | Read | `info`, `plugins`, `symbols resolve`, `analyze`, `compare` | agent, unattended | path/DB provenance recorded | | Observe | `probe`, `record`, `demo`, hooks/watch/step | agent, unattended on simulator | timeout, session recording on | | Write (target) | `memory.write*`, `call`, `run_until`, `inject`, mailbox stimulus | agent with manifest | declared address/range, fresh session, before/after snapshots, mutation values noted | -| Product | `open-iov-vfio` patch | human only | M1–M6 + physical confirmation rules (docs/07 P4.5) | +| Product | `vgsp` patch | human only | M1–M6 + physical confirmation rules (docs/07 P4.5) | | Hardware | physical cycles/reboots | human only | supervised, never unattended | A write action's manifest entry names the session, the target range, the -- cgit v1.2.3