gazagnaire.org
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 (tags (org:blacksun aerospace codec binary))
18 (description
19 "Wire codecs for the SpaceOS host-guest communication protocol. Fixed-size frames, shared memory layout, and storage block codecs for F Prime integration.")
20 (depends
21 (ocaml (>= 5.1))
22 wire
23 checkseum
24 (alcotest :with-test)
25 (crowbar :with-test)))