| #
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.
|
| #
cfd453aa |
|
11-Jul-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
elfloader: Support leaving aarch64 EL2 to aarch32
This allows aarch32 seL4 kernel configurations to be loaded from a
64bit entry point. When this setting is configured, an additonal
symbol, _start32, is created that is still a valid 32bit entry point.
|
| #
af48b52d |
|
30-Jan-2018 |
Yanyan Shen <yanyan.shen@data61.csiro.au> |
elfloader: Disable I/D caches for aarch64 EL2 mode
The function disable_caches_hyp is added and called
to disable I/D caches when running in AARCH64 EL2.
|
| #
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
|
| #
ed207619 |
|
12-Jan-2017 |
amrzar <azarrabi@nicta.com.au> |
elfloader: refactor aarch64
|