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

Switches platform from spike to sparrow

Browse Source 
Change-Id: Ie086289080bb94e6cf3bc0e28a101d2e0db2000c
GitOrigin-RevId: 6de1d47766d977281f5cab7671637c31b2220d52
This commit is contained in:
Matt Harvey 2021-04-19 15:00:11 -07:00 committed by Sam Leffler
parent e45abd8d3e
commit 16fda25099
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
easy-settings.cmake
View File

@ -1,6 +1,6 @@
set(CAMKES_APP "system" CACHE STRING "The one and only CAmkES application in this project")
set(PLATFORM "spike" CACHE STRING "The one and only seL4 platform for Sparrow")
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(LibUtilsDefaultZfLogLevel 5 CACHE STRING "seL4 internal logging level (0-5).")