portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat
History
Robbie VanVossen 02ca6a80a4 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.
2017-09-27 12:58:49 -04:00
..
allwinnerA20/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
am335x/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
apq8064/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
bcm2837/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
exynos4/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
exynos5/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
hikey/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
imx6/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
imx7/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
imx31/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
omap3/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
pc99/plat x86: Correct return type of servicePendingIRQ 2017-08-29 10:56:43 +10:00
tk1/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
tx1/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
zynq7000/plat Share linker.h between architectures 2017-08-10 08:38:36 +10:00
zynqmp/plat Added 32-bit support for the zynqmp. 2017-09-27 12:58:49 -04:00