diff --git a/easy-settings.cmake b/easy-settings.cmake
index 4f2fa80..6191fad 100644
--- a/easy-settings.cmake
+++ b/easy-settings.cmake
@@ -7,6 +7,7 @@ set(RUST_TARGET "riscv32imac-unknown-none-elf" CACHE STRING "Rust target_arch")
 set(KernelSel4Arch "riscv32" CACHE STRING "Specifies 32-bit branch of the seL4 spike platform")
 set(KernelIsMCS ON CACHE BOOL "Enable seL4 MCS support")
 set(KernelPrinting ON CACHE BOOL "Enable seL4 console output support")
+set(CAmkESDefaultHeapSize "8192" CACHE STRING "CAmkES per-component heap size (bytes)")
 
 set(LibUtilsDefaultZfLogLevel 5 CACHE STRING "seL4 internal logging level (0-5).")
 set(SIMULATION ON CACHE BOOL "Whether to build simulate script")