RPMsg inter-partition messaging
stix/rpmsg/openamp/crc: drop SpaceOS cross-references
These libraries are all general-purpose (cyber-threat intel,
inter-partition messaging, Linux remoteproc, CRC-32C) but their
synopses/docstrings named SpaceOS as a specific consumer. Reword to
describe what each library does on its own terms.
+5
-5
+2
-2
dune-project
+2
-2
dune-project
···
10
10
11
11
(package
12
12
(name rpmsg)
13
-
(synopsis "RPMsg inter-partition messaging for SpaceOS")
13
+
(synopsis "RPMsg inter-partition messaging over shared memory")
14
14
(tags (org:blacksun codec.binary system))
15
15
(description
16
-
"OCaml bindings to the Linux RPMsg character device interface for inter-partition messaging. Used for IPC between SpaceOS (Linux) and co-processor partitions via virtio vrings on Jailhouse, Xen, and Zynq UltraScale+ platforms.")
16
+
"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.")
17
17
(depends
18
18
(ocaml (>= 5.1))
19
19
(eio (>= 1.0))
+1
-1
lib/rpmsg.mli
+1
-1
lib/rpmsg.mli
···
7
7
8
8
Wraps the Linux RPMsg character device interface for message-based IPC
9
9
between partitions. Used on Jailhouse, Xen, and Zynq UltraScale+ platforms
10
-
for communication between SpaceOS (Linux) and co-processor partitions via
10
+
for communication between a Linux partition and co-processor partitions via
11
11
virtio vrings.
12
12
13
13
The [rpmsg_endpoint_info] struct layout is described via {!Wire.Codec},
+2
-2
rpmsg.opam
+2
-2
rpmsg.opam
···
1
1
# This file is generated by dune, edit dune-project instead
2
2
opam-version: "2.0"
3
-
synopsis: "RPMsg inter-partition messaging for SpaceOS"
3
+
synopsis: "RPMsg inter-partition messaging over shared memory"
4
4
description:
5
-
"OCaml bindings to the Linux RPMsg character device interface for inter-partition messaging. Used for IPC between SpaceOS (Linux) and co-processor partitions via virtio vrings on Jailhouse, Xen, and Zynq UltraScale+ platforms."
5
+
"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."
6
6
maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
7
7
authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"]
8
8
license: "ISC"