jon.recoil.org
A repository of opam repositories, for use by oi
1opam-version: "2.0"
2synopsis: "OpenAMP remoteproc interface for asymmetric multiprocessing"
3description:
4 "OCaml bindings to the Linux remoteproc sysfs interface for managing remote processors via OpenAMP. Used on Zynq UltraScale+ to load firmware and start/stop the R5 co-processor from Linux on A53."
5maintainer: "Thomas Gazagnaire <thomas@gazagnaire.org>"
6authors: "Thomas Gazagnaire <thomas@gazagnaire.org>"
7license: "ISC"
8tags: ["org:blacksun" "system"]
9homepage: "https://tangled.org/gazagnaire.org/ocaml-openamp"
10bug-reports: "https://tangled.org/gazagnaire.org/ocaml-openamp/issues"
11depends: [
12 "dune" {>= "3.21"}
13 "ocaml" {>= "5.1"}
14 "eio" {>= "1.0"}
15 "eio_main" {>= "1.0"}
16 "fmt" {>= "0.9"}
17 "mdx" {with-test}
18 "alcotest" {with-test}
19 "alcobar" {with-test}
20 "odoc" {with-doc}
21]
22build: [
23 ["dune" "subst"] {dev}
24 [
25 "dune"
26 "build"
27 "-p"
28 name
29 "-j"
30 jobs
31 "@install"
32 "@runtest" {with-test}
33 "@doc" {with-doc}
34 ]
35]
36dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-openamp"
37url {
38 src:
39 "git+https://tangled.org/gazagnaire.org/ocaml-openamp#647b8e3a70b012019575647c7a3fe88b078241c3"
40}
41x-d10-archive:
42 "37d1bc47940742a6f1aa7a387fc4d433b3d341bd2600102909b9a068f829c7e4"
43x-maintenance-intent: ["(latest)"]
44x-oi-source-url: "git+https://tangled.org/gazagnaire.org/ocaml-openamp#main"
45x-quality-build: "2026-04-15"
46x-quality-fuzz: "2026-04-15"
47x-quality-test: "2026-04-15"