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