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 CFILES 11 src/inlines.c 12 src/assert.c 13 src/util.c 14 src/string.c 15 src/fastpath/fastpath.c 16 src/api/syscall.c 17 src/api/faults.c 18 src/kernel/cspace.c 19 src/kernel/faulthandler.c 20 src/kernel/thread.c 21 src/kernel/boot.c 22 src/kernel/stack.c 23 src/object/notification.c 24 src/object/cnode.c 25 src/object/endpoint.c 26 src/object/interrupt.c 27 src/object/objecttype.c 28 src/object/tcb.c 29 src/object/untyped.c 30 src/model/preemption.c 31 src/model/statedata.c 32 src/model/smp.c 33 src/machine/io.c 34 src/machine/capdl.c 35 src/machine/registerset.c 36 src/machine/fpu.c 37 src/benchmark/benchmark_track.c 38 src/benchmark/benchmark_utilisation.c 39 src/smp/lock.c 40 src/smp/ipi.c 41) 42add_sources( 43 DEP KernelIsMCS 44 CFILES 45 src/object/reply.c 46 src/object/schedcontext.c 47 src/object/schedcontrol.c 48 src/kernel/sporadic.c 49) 50