<!--
     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)

     SPDX-License-Identifier: CC-BY-SA-4.0
-->

This application demonstrates the use of the seL4RPCOverMultiSharedData to perform
RPC using shared memory buffers between the client and server. This allows for transferring
data larger than what can fit in an seL4 IPC buffer. The generated stubs will copy the
arguments into the shared buffer and then copy them out again on each side.

Indexes created Thu May 16 13:05:45 MDT 2024