diff options
Diffstat (limited to 'platform/spike.c')
-rw-r--r-- | platform/spike.c | 2 |
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; |