gazagnaire.org
Solo5 hvt ABI and MFT1/ABI1 note format as wire codecs
1.1 kB
32 lines
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "aarch64 Solo5 platform binding for Xen/ARM"
4description:
5 "The freestanding aarch64 Solo5 platform binding for Xen/ARM (solo5_xen.o), installed into the Solo5 cross toolchain beside solo5_hvt.o so the cross linker's -z solo5-abi=xen links a Xen/ARM unikernel. Upstream Solo5's xen binding is x86_64-only (no aarch64 sources), so this aarch64 port -- a boot/TLS/MMU core plus the hvc console shim -- lives here."
6maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
8license: "ISC"
9tags: ["org:blacksun" "system"]
10homepage: "https://tangled.org/gazagnaire.org/ocaml-solo5"
11bug-reports: "https://tangled.org/gazagnaire.org/ocaml-solo5/issues"
12depends: [
13 "dune" {>= "3.21"}
14 "ocaml" {>= "5.1"}
15 "odoc" {with-doc}
16]
17build: [
18 ["dune" "subst"] {dev}
19 [
20 "dune"
21 "build"
22 "-p"
23 name
24 "-j"
25 jobs
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30]
31dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-solo5"
32x-maintenance-intent: ["(latest)"]