History log of /seL4-l4v-10.1.1/seL4/src/plat/zynqmp/linker.lds
Revision Date Author Comments
# 4ba89d4a 05-Sep-2017 Robbie VanVossen <robert.vanvossen@dornerworks.com>

Added 64-bit support for the zynqmp.

Split up the bit specific code into new folders and added 64-bit
support. Also, changed the device register sizes to be based off of
PAGE_BITS instead of a hardcoded number.

TIMER_CLOCK_HZ is set to the default clock rate from the ATF,
which is the same for both AARCH32 and AARCH64.It may require changes
to the FSBL to work correctly.


# 02ca6a80 14-Jul-2017 Robbie VanVossen <robert.vanvossen@dornerworks.com>

Added 32-bit support for the zynqmp.

The Zynq UltraScale+ MPSoC (PLAT zynqmp) is a Multi-Processor SOC
made by Xilinx that has a quad-core Cortex-A53, a dual-core Cortex-R5
and an FPGA.

This adds 32-bit, single-core support on the the Cortex-A53 cluster.