History log of /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch32/crt0.S
Revision Date Author Comments
# b4130951 06-Mar-2019 Anna Lyons <Anna.Lyons@data61.csiro.au>

Use new TLS and sel4runtime support

- minimal crt0.S: construct environment in start.c and via the runtime
- update tls init to be compatible with runtime and move initialisation
to after the runtime is initialised
- wait runtime to be initialised in fault handlers


# 5ef7b878 04-Nov-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

libsel4camkes: Move aarch32 code to sel4_arch src