(lang dune 3.21)

(name space-sim)

(generate_opam_files true)

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

(package
 (name space-sim)
 (synopsis "SpaceOS flight simulator for two-partition demo")
 (description
  "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.")
 (depends
  (ocaml (>= 5.1))
  pid1
  zephyr
  space-wire
  wire
  (eio (>= 1.0))
  (eio_main (>= 1.0))
  (fmt (>= 0.9))))