History log of /seL4-test-master/projects/sel4_projects_libs/libsel4rpc/rpc.proto
Revision Date Author Comments
# 745291ce 27-Nov-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert to SPDX license tags

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# 109e9947 15-Jul-2019 Simon Shields <simon.shields@data61.csiro.au>

sel4rpc: add support for freeing memory allocation

adds support for sending a "cookie" back as part of a
reply message and also freeing memory allocations.
# 0249cf9b 17-Jun-2019 Simon Shields <simon.shields@data61.csiro.au>

Add libsel4rpc

libsel4rpc is intended to provide a 'default' interface
for managing resource allocation requests across an endpoint.