History log of /seL4-refos-master/projects/seL4_libs/libsel4debug/src/sel4_arch/aarch32/trampoline.S
Revision Date Author Comments
# 9214341c 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses
# d4413b0b 02-May-2017 Saggi Mizrahi <saggi@mizrahi.cc>

libsel4debug: fix arch paths in makefile

The projects wants sel4_arch but the files are a mix of arch an
sel4_arch

this patch makes all paths use the sel4_arch and fixes the paths
accordingly