RPMsg inter-partition messaging
1(lang dune 3.21)
2(using mdx 0.4)
3
4(name rpmsg)
5
6(generate_opam_files true)
7
8(license ISC)
9(authors "Thomas Gazagnaire <thomas@gazagnaire.org>")
10(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")
11
12(source (tangled gazagnaire.org/ocaml-rpmsg))
13
14(package
15 (name rpmsg)
16 (synopsis "RPMsg inter-partition messaging over shared memory")
17 (tags (org:blacksun codec.binary system))
18 (description
19 "OCaml bindings to the Linux RPMsg character device interface for inter-partition messaging. Used for IPC between a Linux partition and co-processor partitions via virtio vrings on Jailhouse, Xen, and Zynq UltraScale+ platforms.")
20 (depends
21 (ocaml (>= 5.1))
22 (eio (>= 1.0))
23 (eio_main (>= 1.0))
24 (fmt (>= 0.9))
25 wire
26 (mdx :with-test)
27 (alcotest :with-test)
28 (alcobar :with-test)))