History log of /seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/64/mode/structures.h
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.


# 92128672 30-Jan-2018 Yanyan Shen <yanyan.shen@data61.csiro.au>

elfloader: Add EL2 support for aarch64

(1) Add init_hyp_boot_vspace for initialising EL2 boot vspace.
(2) Add arm_enable_hyp_mmu to turn on EL2 MMU.


# 7c692376 28-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

pragma once and for all


# 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


# ed207619 12-Jan-2017 amrzar <azarrabi@nicta.com.au>

elfloader: refactor aarch64