1# 2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: GPL-2.0-only 5# 6 7cmake_minimum_required(VERSION 3.7.2) 8 9declare_platform(rockpro64 KernelPlatformRockpro64 PLAT_ROCKPRO64 KernelSel4ArchAarch64) 10 11if(KernelPlatformRockpro64) 12 13 declare_seL4_arch(aarch64) 14 set(KernelArmCortexA53 ON) 15 set(KernelArchArmV8a ON) 16 set(KernelArmGicV3 ON) 17 config_set(KernelARMPlatform ARM_PLAT "rockpro64") 18 list(APPEND KernelDTSList "tools/dts/rockpro64.dts") 19 list(APPEND KernelDTSList "src/plat/rockpro64/overlay-rockpro64.dts") 20 declare_default_headers( 21 TIMER_FREQUENCY 24000000 22 MAX_IRQ 181 23 NUM_PPI 32 24 KERNEL_WCET 10u 25 TIMER drivers/timer/arm_generic.h 26 INTERRUPT_CONTROLLER arch/machine/gic_v3.h 27 ) 28endif() 29 30add_sources( 31 DEP "KernelPlatformRockpro64" 32 CFILES src/arch/arm/machine/gic_v3.c src/arch/arm/machine/l2c_nop.c 33) 34