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 "KernelSel4ArchIA32"
11    PREFIX src/arch/x86/32
12    CFILES
13        c_traps.c
14        object/objecttype.c
15        kernel/thread.c
16        kernel/vspace.c
17        kernel/vspace_32paging.c
18        kernel/elf.c
19        model/statedata.c
20        machine/registerset.c
21        machine/capdl.c
22        smp/ipi.c
23    ASMFILES machine_asm.S traps.S head.S
24)
25