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 9add_sources( 10 DEP "KernelSel4ArchAarch32" 11 PREFIX src/arch/arm/32 12 CFILES 13 object/objecttype.c 14 machine/registerset.c 15 machine/fpu.c 16 model/statedata.c 17 c_traps.c 18 idle.c 19 kernel/thread.c 20 kernel/vspace.c 21 ASMFILES head.S traps.S hyp_traps.S 22) 23 24add_sources(DEP "KernelSel4ArchAarch32;KernelDebugBuild" CFILES src/arch/arm/32/machine/capdl.c) 25