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(imx7 KernelPlatImx7 PLAT_IMX7_SABRE KernelSel4ArchAarch32)
10
11if(KernelPlatImx7)
12    config_set(KernelPlatImx7 PLAT_IMX7 ON)
13    declare_seL4_arch(aarch32)
14    set(KernelArmCortexA7 ON)
15    set(KernelArchArmV7a ON)
16    config_set(KernelARMPlatform ARM_PLAT imx7sabre)
17    set(KernelArmMach "imx" CACHE INTERNAL "")
18    list(APPEND KernelDTSList "tools/dts/imx7sabre.dts")
19    list(APPEND KernelDTSList "src/plat/imx7/overlay-imx7sabre.dts")
20    declare_default_headers(
21        TIMER_FREQUENCY 8000000
22        MAX_IRQ 159
23        NUM_PPI 32
24        TIMER drivers/timer/arm_generic.h
25        INTERRUPT_CONTROLLER arch/machine/gic_v2.h
26        CLK_MAGIC 1llu
27        CLK_SHIFT 8u
28        KERNEL_WCET 10u
29    )
30else()
31    config_set(KernelPlatImx7 PLAT_IMX7 OFF)
32endif()
33
34add_sources(
35    DEP "KernelPlatImx7"
36    CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c
37)
38