#
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
|
#
e9a9ff4f |
|
18-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
Trivial: Style fix make the style checker happy
|
#
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'
|
#
2bf38eb7 |
|
03-Jun-2019 |
Simon Shields <simon.shields@data61.csiro.au> |
sel4test: add RPC support This just adds a few members to sel4test structs that enable use of sel4rpc in sel4test.
|
#
6b2bbe62 |
|
15-Apr-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
CMake: Mark config options as advanced This is to hide the options in the cmake-gui. Top level applications can choose to reexpose these options by clearing the advanced setting.
|
#
11062d0b |
|
15-Apr-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
trivial: style CMakeLists.txt files
|
#
ba3c28d5 |
|
10-Oct-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
sel4test: Declare env struct formally in libsel4test This environment definition is presently used by any test declared by DEFINE_TEST, and so must be a common declaration. For correct compilation the partial (and incorrect) duplicate of the environment in the serialserver tests is removed in this same commit
|
#
32d031d8 |
|
13-Sep-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
sel4test: simplify output buffering - remove BUFFER_OUTPUT, as PRINT_XML implies it - use config_set where possible - replace interface with the following: sel4test_start_printf_buffer: start buffering output sel4test_end_printf_buffer: dump output and stop buffering - remove a lot of ifdefs. sel4test is not build for performance and its best we compile as much code as possible. sel4test_start_printf_buffer does nothing if PRINT_XML is not enabled.
|
#
dbe802b0 |
|
29-Mar-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Add CMake build rules for various libraries
|