gazagnaire.org
Solo5 hvt ABI and MFT1/ABI1 note format as wire codecs
solo5: the virtio-net tender serves Net.Back
The virtio-net device-model moved under Net.Back; the tender, bench and test
name Net.Back.Make instead of Net.Make. The re-exported protocol constants
(device_id, config_bytes, queue indices) are unchanged.
author
Thomas Gazagnaire
date
(Jul 21, 2026, 6:46 AM UTC)
commit
a97f8a54
a97f8a54efb561537ccdd9fb366b544a555d7651
parent
b3f8d5b8
b3f8d5b8c9c5d8ab6f253e6dfb9ec9b2d93af274
+1
-1
+1
-1
lib/tender/virtio_net.ml
+1
-1
lib/tender/virtio_net.ml
···
13
13
let blit_sub t addr src off len = Guest.write_sub t ~gpa:addr src ~off ~len
14
14
end
15
15
16
-
module Vnet = Virtio_mmio.Net.Make (Mem)
16
+
module Vnet = Virtio_mmio.Net.Back.Make (Mem)
17
17
18
18
(* VIRTIO_F_VERSION_1 (bit 32): the one feature a modern device requires. *)
19
19
let feature_version_1 = Int64.shift_left 1L 32