From 16fda25099f8c5b45cec62d3438706dd13ab607f Mon Sep 17 00:00:00 2001 From: Matt Harvey Date: Mon, 19 Apr 2021 15:00:11 -0700 Subject: [PATCH] Switches platform from spike to sparrow Change-Id: Ie086289080bb94e6cf3bc0e28a101d2e0db2000c GitOrigin-RevId: 6de1d47766d977281f5cab7671637c31b2220d52 --- easy-settings.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/easy-settings.cmake b/easy-settings.cmake index fabd649..ec273b4 100644 --- a/easy-settings.cmake +++ b/easy-settings.cmake @@ -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).")