| #
1460a92c |
|
24-Sep-2020 |
Curtis Millar <curtis.millar@data61.csiro.au> |
trivial: Fix import list in libsel4sync
Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
|
| #
1baf531d |
|
22-Apr-2020 |
Axel Heider <axelheider@gmx.de> |
debug: add helper functions for cap type checking
This reduces the usage of magic values to one file only.
Signed-off-by: Axel Heider <axelheider@gmx.de>
|
| #
890f7076 |
|
15-Sep-2020 |
Axel Heider <axelheider@gmx.de> |
trivial: formatting for style compliance
Signed-off-by: Axel Heider <axelheider@gmx.de>
|
| #
c18523b2 |
|
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
|
| #
4f4c9c25 |
|
15-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
link kernel_autoconf explicitly
explicitly link kernel_autoconf on each subdirectory
|
| #
e23dc54b |
|
19-May-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
seL4_libs: remove autoconf.h from seL4_libs
this commit removes autoconf.h generation from each lib 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'
|
| #
dbe802b0 |
|
29-Mar-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Add CMake build rules for various libraries
|