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(fvp KernelPlatformFVP PLAT_FVP KernelSel4ArchAarch64)
10
11if(KernelPlatformFVP)
12    declare_seL4_arch(aarch64)
13    set(KernelArmCortexA57 ON)
14    set(KernelArchArmV8a ON)
15    set(KernelArmGicV3 ON)
16    config_set(KernelARMPlatform ARM_PLAT "fvp")
17    list(APPEND KernelDTSList "tools/dts/fvp.dts")
18    list(APPEND KernelDTSList "src/plat/fvp/overlay-fvp.dts")
19    declare_default_headers(
20        TIMER_FREQUENCY 100000000
21        MAX_IRQ 207
22        INTERRUPT_CONTROLLER arch/machine/gic_v3.h
23        TIMER drivers/timer/arm_generic.h
24    )
25endif()
26
27add_sources(
28    DEP "KernelPlatformFVP"
29    CFILES src/arch/arm/machine/l2c_nop.c src/arch/arm/machine/gic_v3.c
30)
31