1#
2# Copyright 2021, 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(odroidc4 KernelPlatformOdroidc4 PLAT_ODROIDC4 KernelSel4ArchAarch64)
10
11if(KernelPlatformOdroidc4)
12    declare_seL4_arch(aarch64)
13    set(KernelArmCortexA55 ON)
14    set(KernelArchArmV8a ON)
15    config_set(KernelARMPlatform ARM_PLAT odroidc4)
16    set(KernelArmMachFeatureModifiers "+crc" CACHE INTERNAL "")
17    list(APPEND KernelDTSList "tools/dts/odroidc4.dts" "src/plat/odroidc4/overlay-odroidc4.dts")
18    declare_default_headers(
19        TIMER_FREQUENCY 24000000
20        MAX_IRQ 250
21        NUM_PPI 32
22        TIMER drivers/timer/arm_generic.h
23        INTERRUPT_CONTROLLER arch/machine/gic_v2.h
24        CLK_MAGIC 375299969u
25        CLK_SHIFT 53u
26        KERNEL_WCET 10u
27        TIMER_PRECISION 1u
28    )
29endif()
30
31add_sources(
32    DEP "KernelPlatformOdroidc4"
33    CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
34)
35