History log of /seL4-l4v-10.1.1/seL4/src/plat/tx1/linker.lds
Revision Date Author Comments
# 28014895 04-Mar-2018 Yanyan Shen <yanyan.shen@data61.csiro.au>

armv8/tx1: Define kernelBase and USER_TOP for EL2.
# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)
# 2e250fcc 14-Feb-2017 amrzar <azarrabi@nicta.com.au>

plat: add tx1 support