diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 09:13:00 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 09:13:00 -0400 |
| commit | 3fe5360d0efc439d59f2b7a9bf2f713aa9cdb918 (patch) | |
| tree | e30e26701f5a67080404e5f9cb71967ee275e604 /debug/risc-v-gsp-rm-vm/sdk/injected_demo.c | |
| parent | 964f34ee2e49d14ce81ee9a6bd9297c88e320c52 (diff) | |
| download | open-iov-3fe5360d0efc439d59f2b7a9bf2f713aa9cdb918.tar.gz open-iov-3fe5360d0efc439d59f2b7a9bf2f713aa9cdb918.zip | |
debug: green-eye wave 2 - injection SDK, Frida-like calls, Ghidra control bridge, long-term docs
Adds to debug/risc-v-gsp-rm-vm/:
- Session.call / run_until: Frida-like remote function calls and run-to-cursor,
with register restoration; verified live (rpc_ping -> 0xaffe).
- symbol+offset target resolution (gsp_ctrl+0x10) across all APIs and the REPL.
- Injection SDK (sdk/) and 'greeneye inject': position-independent RV64 service
blobs (verified zero relocations), loaded into RAM, registered in the demo
handler table, and invoked either directly or through the firmware mailbox
dispatcher. Demo ABI extended: mailbox 16..23 selects slots, arg0 carries the
service command, arg2 added (struct now 0x190; schema updated).
- Ghidra control bridge (greeneye ghidra + GreenEyeControl.java): run-until-here,
breakpoints, memory/register access, remote calls, hit export; verified
end-to-end with Ghidra headless (run_until reached rpc_sum from a GhidraScript).
- MarkGreenEyeHits.java fixed for the Ghidra 12 createBookmark API; verified
headless together with ExportForGreenEye.java.
- Analyzer renders a QEMU first-fault table for probe sessions (fault count,
epc with firmware vaddr translation, access address/size, reason).
- Tests now 35 green, including injection, Ghidra bridge, remote call, run-until
and REPL command smoke tests.
- Documentation: docs/11-16 (GSP RM service developer guide, injection SDK
specification, Ghidra control, adversarial interoperability guide, agentic
GSP IDE, custom simulator design) and GREEN-EYE-ROADMAP.md (long-term H1-H7
program); doc maps and the project RISC-V VM doc updated.
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/sdk/injected_demo.c')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/sdk/injected_demo.c | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/debug/risc-v-gsp-rm-vm/sdk/injected_demo.c b/debug/risc-v-gsp-rm-vm/sdk/injected_demo.c new file mode 100644 index 0000000..8d836fe --- /dev/null +++ b/debug/risc-v-gsp-rm-vm/sdk/injected_demo.c @@ -0,0 +1,41 @@ +/* Example green-eye injected service. + * + * Position-independent, no globals, no libc: safe to load at any address. + * Commands (matching the demo firmware's injected command range): + * 1: xor a0 with 0xbeef + * 2: a0 + a1 + * 3: rotate a0 left by (a1 & 63) + * 4: a0 * 3 + 7 + * 5: min(a0, a1) + * 6: max(a0, a1) + * default: ~cmd + */ +#include "greeneye_service.h" + +__attribute__((noinline)) ge_u64 ge_demo_service_dispatch(ge_u64 cmd, ge_u64 a0, ge_u64 a1) +{ + switch (cmd) { + case 1: + return a0 ^ 0xbeefu; + case 2: + return a0 + a1; + case 3: { + unsigned int shift = (unsigned int)(a1 & 63u); + return shift ? ((a0 << shift) | (a0 >> (64u - shift))) : a0; + } + case 4: + return a0 * 3u + 7u; + case 5: + return a0 < a1 ? a0 : a1; + case 6: + return a0 > a1 ? a0 : a1; + default: + return ~cmd; + } +} + +/* A second entry point, to demonstrate multi-function services. */ +__attribute__((noinline)) ge_u64 ge_demo_service_answer(void) +{ + return 42; +} |
