github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-07-15 23:06:03 +00:00
Code Issues Projects Releases Wiki Activity

processmanager: enable seL4 MCS support

Browse Source 
Change-Id: Ifa716124c0f965c48375c2fd8944a4134d3a8306
GitOrigin-RevId: 5f723fa77db0c2ff7d63b5470ec09f8da8d2f1e5
This commit is contained in:
Sam Leffler 2021-12-09 22:06:03 +00:00
parent 4db610b909
commit 8d7b9fecf7
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
apps/system/components/kata-os-common/Cargo.toml
View File

@ -7,7 +7,7 @@ edition = "2018"
default = [ default = [
"CONFIG_PRINTING", "CONFIG_PRINTING",
"CONFIG_DEBUG_BUILD", "CONFIG_DEBUG_BUILD",
# "CONFIG_KERNEL_MCS", "CONFIG_KERNEL_MCS",
] ]
CONFIG_ARM_HYPERVISOR_SUPPORT = [ CONFIG_ARM_HYPERVISOR_SUPPORT = [
"sel4-sys/CONFIG_ARM_HYPERVISOR_SUPPORT", "sel4-sys/CONFIG_ARM_HYPERVISOR_SUPPORT",

2
easy-settings.cmake
View File

@ -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(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(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(LibUtilsDefaultZfLogLevel 5 CACHE STRING "seL4 internal logging level (0-5).")
set(SIMULATION ON CACHE BOOL "Whether to build simulate script") set(SIMULATION ON CACHE BOOL "Whether to build simulate script")