History log of /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/structures.c
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.


# 42be0363 18-Mar-2019 Simon Shields <simon.shields@data61.csiro.au>

elfloader: Add aarch32 EFI support

This makes the ELF loader relocatable on aarch32,
and generates the appropriate EFI header for aarch32 boards.


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

Fix licenses


# bc753f2a 03-Jan-2017 amrzar <azarrabi@nicta.com.au>

elfloader: create the version dependant folders
- move the files to respective folder
- add machine.h for each version
- move cpu_idle to idle.c


# d33e71c1 20-Dec-2016 amrzar <azarrabi@nicta.com.au>

elfloader: refactor files to imitate kernel design
- move files to src/include folders
- update files as required, e.g. renaming files and folders to prevent conflicts


# 9d75312d 06-Jul-2016 amrzar <azarrabi@nicta.com.au>

SELFOUR-292: async aborts might propagate to the kernel from the bootloader


# 839aab9b 26-Jan-2016 amrzar <azarrabi@nicta.com.au>

Add efi/64bit and Hikey platforms