(lang dune 3.21)

(name space-net)

(generate_opam_files true)

(license ISC)
(authors "Thomas Gazagnaire <thomas@gazagnaire.org>")
(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")

(source (tangled gazagnaire.org/space-net))

(package
 (name space-net)
 (synopsis "APID-based virtual switch for SpaceOS inter-guest routing")
 (description
  "space-net is the APID virtual switch that routes 256-byte wire frames
   between guest VMs (via Unix domain sockets simulating virtio-net) and
   space-dtn for uplink/downlink. Supports multi-tenant APID allocation,
   inter-guest policy enforcement, and CCSDS Space Packet wrapping.")
 (depends
  (ocaml (>= 5.1))
  (space-wire (>= 0.1))
  wire
  (space-packet (>= 0.1))
  (eio (>= 1.0))
  (eio_main (>= 1.0))
  (cmdliner (>= 1.2))
  (fmt (>= 0.9))
  (logs (>= 0.7))
  vlog
  (alcotest :with-test)))