| #
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.
|
| #
cf111cef |
|
22-May-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
sel4_proj_libs: remove global configuration lib
this commit removes autoconf.h generation from sel4_proj_libs and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'
|
| #
46fa9362 |
|
14-Jul-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
libsel4rpc: call vka_cnode_delete before free
We need to delete the cap that exists in the slot described by the
cspacepath before the path can be freed.
|
| #
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.
|