#
101c34f9 |
|
15-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
fix various including problem 1: replace quote includes with bracket includes 2: add missing kernel autoconf 3: remove one unused include
|
#
10117b2a |
|
04-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
sel4runtime: include configs since global autoconf is removed, we need to manually add back the kernel config and sel4runtime_Config
|
#
83775384 |
|
27-Feb-2019 |
Curtis Millar <curtis.millar@data61.csiro.au> |
Update licence dates.
|
#
82954433 |
|
21-Oct-2018 |
Curtis Millar <curtis.millar@data61.csiro.au> |
Change __thread to __stack and use correct initial value. Change the identifiers to refer to the stack instead of the thread and use the top (for a descending stack) on all platforms.
|
#
405d3e07 |
|
11-Sep-2018 |
Curtis Millar <curtis.millar@data61.csiro.au> |
Move crt files to separate folder for separate build
|