| #
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'
|
| #
7d49c06c |
|
08-Aug-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
libsel4platsupport: Use .balign instead of .align
.align has slightly difference meanings on different architectures and all the present
alignment directives were written with the intention that they be a byte alignment
|
| #
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
| #
20b7a491 |
|
29-Jul-2016 |
Kent McLeod <kent.mcleod@nicta.com.au> |
Change IPC buffer to use fs register
|
| #
0164643f |
|
16-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libsel4platsupport: Split x86 startup routines
Define different startup routines depending on whether we are building for ia32
or x86_64
|