History log of /seL4-camkes-master/tools/seL4/cmake-tool/helpers/tls_rootserver.lds
Revision Date Author Comments
# 9f904ed2 06-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.


# fd410243 11-Mar-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

cmake: Move rootserver helpers into own file