| #
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'
|
| #
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
| #
807b2c08 |
|
15-Mar-2017 |
Stephen Sherratt <Stephen.Sherratt@data61.csiro.au> |
sel4utils: Check arm stack alignment with macro
|
| #
4aad820f |
|
15-Mar-2017 |
Stephen Sherratt <Stephen.Sherratt@data61.csiro.au> |
sel4utils: Trivial whitespace
|
| #
857ffba5 |
|
15-Mar-2017 |
Stephen Sherratt <Stephen.Sherratt@data61.csiro.au> |
sel4utils: Add type for thread entry point
Our thread-starting code assumes that its entry point is a function.
Previously, a void pointer was used as the type of the entry point.
Now thread entry points must be pointers to functions with a signature
void (*)(void*, void*, void*).
|
| #
f95c6156 |
|
23-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
libsel4utils: Add aarch64 support
|
| #
b578b9e7 |
|
22-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
Prepare for aarch64 implementation
|