1# 2# Copyright 2018, Data61 3# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4# ABN 41 687 119 230. 5# 6# This software may be distributed and modified according to the terms of 7# the GNU General Public License version 2. Note that NO WARRANTY is provided. 8# See "LICENSE_GPLv2.txt" for details. 9# 10# @TAG(DATA61_GPL) 11# 12 13cmake_minimum_required(VERSION 3.7.2) 14 15if(KernelPlatformUltra96) 16 # Ultra96 is is basically Zynqmp 17 config_set(KernelPlatformZynqmp PLAT_ZYNQMP ON) 18 config_set(KernelPlatformZynqmpUltra96 PLAT_ZYNQMP_ULTRA96 ON) 19endif() 20 21if(KernelPlatformZynqmp) 22 set(KernelArmCortexA53 ON) 23 set(KernelArchArmV8a ON) 24 config_set(KernelPlatform PLAT "zynqmp") 25 config_set(KernelArmMach MACH "zynq") 26 if(KernelSel4ArchAarch64) 27 set(KernelHaveFPU ON) 28 endif() 29endif() 30 31add_sources( 32 DEP "KernelPlatformZynqmp" 33 CFILES 34 src/plat/zynqmp/machine/hardware.c 35 src/plat/zynqmp/machine/io.c 36 src/arch/arm/machine/generic_timer.c 37) 38