From 8d7b9fecf70578e85d45ac9a06d1a0d21e4c0094 Mon Sep 17 00:00:00 2001 From: Sam Leffler Date: Thu, 9 Dec 2021 22:06:03 +0000 Subject: [PATCH] processmanager: enable seL4 MCS support Change-Id: Ifa716124c0f965c48375c2fd8944a4134d3a8306 GitOrigin-RevId: 5f723fa77db0c2ff7d63b5470ec09f8da8d2f1e5 --- apps/system/components/kata-os-common/Cargo.toml | 2 +- easy-settings.cmake | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/apps/system/components/kata-os-common/Cargo.toml b/apps/system/components/kata-os-common/Cargo.toml index fefdcd7..abfaf2f 100644 --- a/apps/system/components/kata-os-common/Cargo.toml +++ b/apps/system/components/kata-os-common/Cargo.toml @@ -7,7 +7,7 @@ edition = "2018" default = [ "CONFIG_PRINTING", "CONFIG_DEBUG_BUILD", -# "CONFIG_KERNEL_MCS", + "CONFIG_KERNEL_MCS", ] CONFIG_ARM_HYPERVISOR_SUPPORT = [ "sel4-sys/CONFIG_ARM_HYPERVISOR_SUPPORT", diff --git a/easy-settings.cmake b/easy-settings.cmake index 95fd800..1c0dd65 100644 --- a/easy-settings.cmake +++ b/easy-settings.cmake @@ -2,7 +2,7 @@ set(CAMKES_APP "system" CACHE STRING "The one and only CAmkES application in thi set(PLATFORM "sparrow" CACHE STRING "The one and only seL4 platform for Sparrow") set(KernelSel4Arch "riscv32" CACHE STRING "Specifies 32-bit branch of the seL4 spike platform") -set(KernelIsMCS OFF CACHE BOOL "Disable seL4 MCS support") +set(KernelIsMCS ON CACHE BOOL "Enable seL4 MCS support") set(LibUtilsDefaultZfLogLevel 5 CACHE STRING "seL4 internal logging level (0-5).") set(SIMULATION ON CACHE BOOL "Whether to build simulate script")