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