History log of /seL4-test-master/projects/sel4_projects_libs/libsel4rpc/README.md
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>
# d9a93f62 11-Jul-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

trivial: sel4rpc: Add license to README.md
# 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.