github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-08-25 16:29:11 +00:00
Code Issues Projects Releases Wiki Activity

Merge "Adds kata settings for seL4 kernel internal logger and bbl enablement"

Browse Source 
GitOrigin-RevId: 8d5a288654f428138bdd6ba0074aa74327773c86
This commit is contained in:
Matt Harvey 2021-04-19 17:47:10 +00:00 committed by Sam Leffler
parent 7e8c603b43
commit e45abd8d3e
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
easy-settings.cmake
View File

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