History log of /seL4-test-master/tools/seL4/elfloader-tool/include/binaries/efi/efi.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.


# 6655a7fe 10-Dec-2019 Simon Shields <simon.shields@data61.csiro.au>

elfloader: remove efi fputc support

nothing actually uses this - we prefer the platform-specific uart
implementations.


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

elfloader: support using DTB provided by EFI

This adds support for loading a DTB provided by an EFI implementation
in the EFI system tables, identified by a GUID.


# 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.


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

pragma once and for all


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

Fix licenses


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

elfloader: refactor aarch64