History log of /seL4-test-master/tools/seL4/elfloader-tool/README.md
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.


# 69eb9c48 11-Dec-2019 Simon Shields <simon.shields@data61.csiro.au>

elfloader: add a README

This readme explains the basic flow of the elfloader on
ARM and RISC-V. It also explains the various image types
supported on ARM, and provides an overview of the driver framework.