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