| #
e9a9ff4f |
|
18-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
Trivial: Style fix
make the style checker happy
|
| #
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'
|
| #
75e258f6 |
|
04-Oct-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
output clients in different colors
So they can be distinguished in output. This is enabled by default but
can be turned off with a config option.
|
| #
c05c7f46 |
|
25-Sep-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
Style fixes for libsel4serialserver
|
| #
4a22508f |
|
18-Sep-2017 |
Claudia Tu <claudia.tu@unsw.edu.au> |
SELFOUR-1107 move serial server to own library
|