1<!--
2     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3
4     SPDX-License-Identifier: CC-BY-SA-4.0
5-->
6
7This application demonstrates the use of the seL4RPCOverMultiSharedData to perform
8RPC using shared memory buffers between the client and server. This allows for transferring
9data larger than what can fit in an seL4 IPC buffer. The generated stubs will copy the
10arguments into the shared buffer and then copy them out again on each side.
11