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(tx1 KernelPlatformTx1 PLAT_TX1 KernelSel4ArchAarch64) 10 11if(KernelPlatformTx1) 12 declare_seL4_arch(aarch64) 13 set(KernelArmCortexA57 ON) 14 set(KernelArchArmV8a ON) 15 config_set(KernelARMPlatform ARM_PLAT tx1) 16 config_set(KernelArmMach MACH "nvidia") 17 list(APPEND KernelDTSList "tools/dts/tx1.dts") 18 list(APPEND KernelDTSList "src/plat/tx1/overlay-tx1.dts") 19 declare_default_headers( 20 TIMER_FREQUENCY 12000000 21 MAX_IRQ 224 22 INTERRUPT_CONTROLLER arch/machine/gic_v2.h 23 NUM_PPI 32 24 TIMER drivers/timer/arm_generic.h 25 CLK_MAGIC 2863311531llu 26 CLK_SHIFT 35u 27 KERNEL_WCET 10u 28 ) 29endif() 30 31add_sources( 32 DEP "KernelPlatformTx1" 33 CFILES src/arch/arm/machine/gic_v2.c src/arch/arm/machine/l2c_nop.c 34) 35