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 13000000
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