History log of /seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/imx6/monitor.S
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.


# 65daeb20 19-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

elfloader-tool: explicitly link config libs

explicitly link kernel_autoconf and elfloader_Config
since the global config lib is going to be remove


# a17f5e28 09-Nov-2018 Nathan Studer <nathan.studer@dornerworks.com>

Only corrupt scratchpad register in smc_handler

r5 is a callee saved register that isn't being restored by the handler. To
simplify the handling of both the caller and handler, use the only available
scratch pad register instead.


# 96e61aa6 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of file


# 935ee687 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# a9295b6e 04-Apr-2017 Yanyan Shen <yshen@hybridkernel.com>

elfloader: support to load the kernel in NS SVC

The elfloder for i.MX6 sabre now can be configured
to load the kernel in secure monitor, secure supervisor,
and nonsecure supervisor.