1#
2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3#
4# SPDX-License-Identifier: BSD-2-Clause
5#
6
7cmake_minimum_required(VERSION 3.7.2)
8
9project(mcs-scheduling C)
10
11if(KernelArchARM)
12    set(KernelArmExportPMUUser ON CACHE BOOL "" FORCE)
13elseif(KernelArchX86)
14    set(KernelExportPMCUser ON CACHE BOOL "" FORCE)
15else()
16    message("Unsupported platform.")
17endif()
18
19set(KernelDangerousCodeInjection ON CACHE BOOL "" FORCE)
20
21if(SIMULATION)
22    ApplyCommonSimulationSettings(${KernelArch})
23endif()
24
25DeclareCAmkESComponent(Task SOURCES components/Task/src/task.c LIBS sel4bench)
26DeclareCAmkESComponent(Init SOURCES components/Init/src/init.c LIBS sel4bench)
27DeclareCAmkESRootserver(mcs-scheduling.camkes)
28# FIXME: Need additional configs for `sel4bench` to make this app compiled
29# in simulate tests
30# add_simulate_test([=[wait_for "[task_3] CPU utilization:"]=])
31