History log of /seL4-l4v-10.1.1/seL4/src/plat/zynqmp/config.cmake
Revision Date Author Comments
# 924d1c26 14-Sep-2018 Axel Heider <axelheider@gmx.de>

zynqmp: add Ultra96 platform

Add Ultra96 platform, which is based on the zynqmp SoC
# 9bd2b784 08-Aug-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

zynqmp: Added CMake support

Added support for building the zynqmp platform with CMake.