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 "KernelSel4ArchAarch64"
11    PREFIX src/arch/arm/64
12    CFILES
13        object/objecttype.c
14        machine/capdl.c
15        machine/registerset.c
16        machine/fpu.c
17        model/statedata.c
18        c_traps.c
19        idle.c
20        kernel/thread.c
21        kernel/vspace.c
22    ASMFILES head.S traps.S
23)
24