diff --git a/easy-settings.cmake b/easy-settings.cmake
index a1cb6f3..fabd649 100644
--- a/easy-settings.cmake
+++ b/easy-settings.cmake
@@ -1,5 +1,9 @@
 set(CAMKES_APP "system" CACHE STRING "The one and only CAmkES application in this project")
-set(SIMULATION ON CACHE BOOL "Whether to build simulate script")
-set(RELEASE OFF CACHE BOOL "Performance optimized build")
+
 set(PLATFORM "spike" 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(LibUtilsDefaultZfLogLevel 5 CACHE STRING "seL4 internal logging level (0-5).")
+set(SIMULATION ON CACHE BOOL "Whether to build simulate script")
+set(RELEASE OFF CACHE BOOL "Performance optimized build")
+set(UseRiscVBBL ON CACHE BOOL "Whether to use bbl")