Skip to content

VBox 2b: Upstream patch: virtual memory methods, docs, hardened check #273

Closed

Description

@Wenzel

Parent

#269

What to build

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
  • Series tested once on a hardened VirtualBox build

Blocked by

Activity

  1. Wenzel commented on Oct 11, 2026

    @Wenzel
    OwnerAuthor

    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.

  2. Wenzel commented on Oct 11, 2026

    @Wenzel
    OwnerAuthor

    Done: VirtualBox side in Wenzel/virtualbox#2, ADR in #292 (merged).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    ready-for-agentFully specified, ready for an AFK agent

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions