#
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>
|
#
60225436 |
|
18-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
replace kernel_autoconf with sel4_autoconf since the mainline kernel's kernel_autoconf doesn't include seL4/gen_config.h but sel4_autoconf does
|
#
d2d40b95 |
|
16-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
explicitly link configs explicitly link kernel_autoconf for subprojects
|
#
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'
|
#
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.
|