SpaceOS wire protocol codecs for host-guest communication
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)))