ocaml-virtio/lib/ at main · gazagnaire.org/ocaml-virtio · Tangled

gazagnaire.org / ocaml-virtio

0

Virtio-serial port IO for guest VMs

0

ocaml-virtio / lib /

at main 4 folders 3 files

Thomas Gazagnaire virtio: give the mmio and vring headings their own paragraph 1d ago

virtio: expose an owned receiver on the net frontend A queue's receive path can now hand each frame out as a borrowed view into the device buffer, released by the consumer to re-arm the ring, matching the loan shape the ethernet reader and the vz device edge adopted. Backends that keep frames copy out and release at once, so the per-frame string allocation disappears from the pull path.

1 week ago

virtio: give the mmio and vring headings their own paragraph odoc requires a paragraph to start on its own line, so the parenthetical trailing each heading was a parse error and the heading did not render.

1 day ago

ocaml-virtio: document the interface in the house style Doc comments only. Values are documented as an equation on the applied name, types say what they are the type for, sections are anchored, and the edge cases a noun-phrase gloss let go unwritten are stated.

1 day ago

virtio-pci: confirm DRIVER_OK before the first kick A VMM that processes register accesses in order on its own queue has necessarily finished every earlier queue_enable write once DRIVER_OK reads back, so a receive kick issued after the confirmation cannot race the queue bring-up and be dropped.

1 week ago

virtio: give the mmio and vring headings their own paragraph odoc requires a paragraph to start on its own line, so the parenthetical trailing each heading was a parse error and the heading did not render.

1 day ago

virtio: Eio-aware Serial module (split from zephyr, vsock moved out)

1 month ago

ocaml-virtio: document the interface in the house style Doc comments only. Values are documented as an equation on the applied name, types say what they are the type for, sections are anchored, and the edge cases a noun-phrase gloss let go unwritten are stated.

1 day ago