2 files changed, 8 insertions, 1 deletions
diff --git a/platform/platform_interface.h b/platform/platform_interface.h
index 9c52cde..dd521e3 100644
--- a/platform/platform_interface.h
+++ b/platform/platform_interface.h
@@ -15,4 +15,7 @@
  * This will be printed when BBL boots. */
 const char *platform__get_logo(void);
 
+/* Returns TRUE if it's valid to use the HTIF */
+int platform__use_htif(void);
+
 #endif
diff --git a/platform/spike.c b/platform/spike.c
index 06aa742..159255f 100644
--- a/platform/spike.c
+++ b/platform/spike.c
@@ -25,8 +25,12 @@ static const char logo[] =
 "\n"
 "       INSTRUCTION SETS WANT TO BE FREE\n";
 
-
 const char *platform__get_logo(void)
 {
   return logo;
 }
+
+int platform__use_htif(void)
+{
+  return 1;
+}