gazagnaire.org
SpaceOS CLI: build and boot partitioned satellite VMs
1(lang dune 3.21)
2
3(name space)
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)
13 (synopsis "SpaceOS CLI: build and boot SpaceOS VMs")
14 (tags (org:blacksun aerospace))
15 (description
16 "Top-level CLI for SpaceOS. Builds initramfs and disk images, launches QEMU VMs with virtio-blk backed SpaceOS storage, and generates SBOMs.")
17 (depends
18 (ocaml (>= 5.1))
19 bundle
20 oci
21 ptime
22 sbom
23 space-block
24 space-dtn
25 space-ground
26 space-net
27 space-packet
28 space-wire
29 wire
30 qemu
31 initramfs
32 uniboot
33 jsont
34 yamlt
35 crypto-rng
36 tty
37 (eio (>= 1.0))
38 (eio_main (>= 1.0))
39 (cmdliner (>= 1.2.0))
40 (fmt (>= 0.9))
41 (logs (>= 0.7))
42 (vlog (>= 0.1.0))
43 (alcotest :with-test)))