SpaceOS wire protocol codecs for host-guest communication
at main 24 lines 561 B view raw
1(lang dune 3.21) 2(using directory-targets 0.1) 3 4(name space-wire) 5 6(generate_opam_files true) 7 8(license MIT) 9(authors "Thomas Gazagnaire") 10(maintainers "Thomas Gazagnaire") 11 12(source (tangled gazagnaire.org/space-wire)) 13 14(package 15 (name space-wire) 16 (synopsis "SpaceOS wire protocol codecs") 17 (description 18 "Wire codecs for the SpaceOS host-guest communication protocol. Fixed-size frames, shared memory layout, and storage block codecs for F Prime integration.") 19 (depends 20 (ocaml (>= 5.1)) 21 wire 22 checkseum 23 (alcotest :with-test) 24 (crowbar :with-test)))