From e45abd8d3e46ac5bc6124d3e2d3e73ca0a19e6b0 Mon Sep 17 00:00:00 2001 From: Matt Harvey Date: Mon, 19 Apr 2021 17:47:10 +0000 Subject: [PATCH] Merge "Adds kata settings for seL4 kernel internal logger and bbl enablement" GitOrigin-RevId: 8d5a288654f428138bdd6ba0074aa74327773c86 --- easy-settings.cmake | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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")