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(omap3 KernelPlatformOMAP3 PLAT_OMAP3 KernelSel4ArchAarch32) 10 11if(KernelPlatformOMAP3) 12 declare_seL4_arch(aarch32) 13 set(KernelArmCortexA8 ON) 14 set(KernelArchArmV7a ON) 15 set(KernelHardwareDebugAPIUnsupported ON CACHE INTERNAL "") 16 config_set(KernelARMPlatform ARM_PLAT omap3) 17 config_set(KernelArmMach MACH "omap") 18 list(APPEND KernelDTSList "tools/dts/omap3.dts") 19 list(APPEND KernelDTSList "src/plat/omap3/overlay-omap3.dts") 20 declare_default_headers( 21 TIMER_FREQUENCY 13000000llu 22 MAX_IRQ 95 23 INTERRUPT_CONTROLLER drivers/irq/omap3.h 24 TIMER drivers/timer/omap3430.h 25 CLK_MAGIC 1321528399llu 26 CLK_SHIFT 34u 27 KERNEL_WCET 10u 28 ) 29endif() 30 31add_sources( 32 DEP "KernelPlatformOMAP3" 33 CFILES src/plat/omap3/machine/hardware.c src/plat/omap3/machine/l2cache.c 34) 35