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