diff options
Diffstat (limited to 'docs/05-operations/02-debugging-and-maintenance-workflows.md')
| -rw-r--r-- | docs/05-operations/02-debugging-and-maintenance-workflows.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/05-operations/02-debugging-and-maintenance-workflows.md b/docs/05-operations/02-debugging-and-maintenance-workflows.md index 801cda6..8d711c6 100644 --- a/docs/05-operations/02-debugging-and-maintenance-workflows.md +++ b/docs/05-operations/02-debugging-and-maintenance-workflows.md @@ -192,6 +192,21 @@ Watch the serial log afterwards for backtraces. A truly hard-wedged vCPU (spinning on a faulting MMIO instruction) may print nothing — use the gdbstub instead. +### 3.9 Firmware runtime analysis — green-eye (experimental) + +> **# TOOL IN DEVELOPMENT - NOT READY YET!** + +For firmware-side questions (what does the GSP/uproc server do at runtime, +what does it read/write, how do its state machines evolve), the experimental +green-eye tooling runs uproc/GSP firmware in a `qemu-system-riscv64` VM with +hooks, watchpoints, memory dumps and session recording, without a physical +GPU, WPR2 risk or a reboot. See +[`03-risc-v-gsp-rm-vm.md`](03-risc-v-gsp-rm-vm.md) for purpose, status and +limits; tooling and full documentation live in +[`../../debug/risc-v-gsp-rm-vm/`](../../debug/risc-v-gsp-rm-vm/README.md). +It is development-only: never shipped, never in a guest, and not a +substitute for the physical backend when silicon truth is required. + ## 4. Workflows for new inputs ### 4.1 New firmware / driver version (upgrade runbook) |