1 files changed, 2 insertions, 0 deletions
diff --git a/platform/spike.c b/platform/spike.c
index 159255f..4d9d397 100644
--- a/platform/spike.c
+++ b/platform/spike.c
@@ -25,6 +25,8 @@ static const char logo[] =
 "\n"
 "       INSTRUCTION SETS WANT TO BE FREE\n";
 
+long platform__disabled_hart_mask = 0;
+
 const char *platform__get_logo(void)
 {
   return logo;