You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Complete the upstream series: readVirtualMemory/writeVirtualMemory share the same helper, the four methods are documented, and the series is verified on a hardened build so it is PR-ready.
Acceptance criteria
Virtual read/write work for a given vCPU and guest virtual address; verified via the SDK script against a page-table translation
Method documentation in the API definition (generates the SDK reference) describes semantics, size limits and errors
User-manual note added
ADR in libmicrovmi docs/adr/: no gate on the memory API, and why
VirtualBox side merged into Wenzel/virtualbox vmi/machinedebugger via Wenzel/virtualbox#2 (PR #1 description also corrected: setRegister(s) is not implemented, so the no-gate argument now rests on the API trust boundary). ADR awaiting review in #292; this issue stays open until it merges.
Activity
Wenzel commentedon Oct 11, 2026
VirtualBox side merged into Wenzel/virtualbox
vmi/machinedebuggervia Wenzel/virtualbox#2 (PR #1 description also corrected:setRegister(s)is not implemented, so the no-gate argument now rests on the API trust boundary). ADR awaiting review in #292; this issue stays open until it merges.Wenzel commentedon Oct 11, 2026
Done: VirtualBox side in Wenzel/virtualbox#2, ADR in #292 (merged).