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(exynos4 KernelPlatformExynos4 PLAT_EXYNOS4 KernelSel4ArchAarch32)
10
11if(KernelPlatformExynos4)
12    declare_seL4_arch(aarch32)
13    set(KernelArmCortexA9 ON)
14    set(KernelArchArmV7a ON)
15    config_set(KernelARMPlatform ARM_PLAT exynos4)
16    config_set(KernelArmMach MACH "exynos")
17    list(APPEND KernelDTSList "tools/dts/exynos4.dts")
18    list(APPEND KernelDTSList "src/plat/exynos4/overlay-exynos4.dts")
19    declare_default_headers(
20        TIMER_FREQUENCY 24000000
21        MAX_IRQ 159
22        NUM_PPI 32
23        TIMER drivers/timer/exynos4412-mct.h
24        INTERRUPT_CONTROLLER arch/machine/gic_v2.h
25        KERNEL_WCET 10u
26        CLK_MAGIC 2863311531llu
27        CLK_SHIFT 36u
28        TIMER_PRECISION 0u
29    )
30endif()
31
32add_sources(
33    DEP "KernelPlatformExynos4"
34    CFILES src/arch/arm/machine/l2c_310.c src/arch/arm/machine/gic_v2.c
35)
36