1 files changed, 0 insertions, 2 deletions
diff --git a/platform/spike.c b/platform/spike.c
index 4d9d397..159255f 100644
--- a/platform/spike.c
+++ b/platform/spike.c
@@ -25,8 +25,6 @@ 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;