gazagnaire.org
SpaceOS flight simulator with ISS orbit and telemetry
1(lang dune 3.21)
2
3(name space-sim)
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(package
12 (name space-sim)
13 (synopsis "SpaceOS flight simulator for two-partition demo")
14 (description
15 "Minimal init process for the flight partition (P0). Sends TM frames via virtio-serial IPC to the SpaceOS partition. Used by 'space run' to demonstrate inter-partition communication.")
16 (depends
17 (ocaml (>= 5.1))
18 pid1
19 zephyr
20 space-wire
21 wire
22 (eio (>= 1.0))
23 (eio_main (>= 1.0))
24 (fmt (>= 0.9))))