History log of /seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/platform_init.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.


# 84281c17 05-Feb-2020 Matthew <matt.phillips121@gmail.com>

Explicitly specify the size of registers

Clang complains if the size of the register is left unspecified.
Prefix the register with 'w' to show the entire 64 bit register
is being used


# 6e71ed24 16-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

Trivial: style fix

make the style checker happy


# c8cb3ebc 16-May-2019 Yanyan Shen <yanyan.shen@data61.csiro.au>

elfloader/tx2: Enable SError for TX2

The code enables nvidia-specific SERR extensions.


# 4eb635a4 21-Mar-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

elfloader: Provide weak default for platform_init

This removes the need for empty duplicates per platform


# 5039c3aa 15-Oct-2018 Peter Chubb <Peter.Chubb@data61.csiro.au>

TX2 initial port

- Copy most files from TX1
- Add new uImage support to elfloader as TX2 u-boot wants a uImage to boot from.


# fe1249d3 15-Oct-2018 Peter Chubb <Peter.Chubb@data61.csiro.au>

Revert "TX2 initial port"

This reverts commit e65661b96c8f08dcf238a9766812a85c75d02659.

Not yet ready for merging.


# e65661b9 15-Oct-2018 Peter Chubb <Peter.Chubb@data61.csiro.au>

TX2 initial port

Copy most files from TX1, but TX2 u-boot wants a uImage to boot from.