History log of /seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/devices.h
Revision Date Author Comments
# 8cf34ab3 17-Sep-2018 Axel Heider <axelheider@gmx.de>

add missing include for config.h

These files contain conditional parts which depends on CONFIG_PLAT_xxx being set, thus they must include config.h.


# 924d1c26 14-Sep-2018 Axel Heider <axelheider@gmx.de>

zynqmp: add Ultra96 platform

Add Ultra96 platform, which is based on the zynqmp SoC


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