gazagnaire.org
APID-based virtual switch for SpaceOS inter-guest routing
1(lang dune 3.21)
2
3(name space-net)
4
5(generate_opam_files true)
6
7(license ISC)
8(authors "Thomas Gazagnaire <thomas@gazagnaire.org>")
9(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")
10
11(source (tangled gazagnaire.org/space-net))
12
13(package
14 (name space-net)
15 (synopsis "APID-based virtual switch for SpaceOS inter-guest routing")
16 (description
17 "space-net is the APID virtual switch that routes 256-byte wire frames
18 between guest VMs (via Unix domain sockets simulating virtio-net) and
19 space-dtn for uplink/downlink. Supports multi-tenant APID allocation,
20 inter-guest policy enforcement, and CCSDS Space Packet wrapping.")
21 (depends
22 (ocaml (>= 5.1))
23 (space-wire (>= 0.1))
24 wire
25 (space-packet (>= 0.1))
26 (eio (>= 1.0))
27 (eio_main (>= 1.0))
28 (cmdliner (>= 1.2))
29 (fmt (>= 0.9))
30 (logs (>= 0.7))
31 vlog
32 (alcotest :with-test)))