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")