1 files changed, 29 insertions, 0 deletions
diff --git a/platform/platform_interface.h b/platform/platform_interface.h
new file mode 100644
index 0000000..f083085
--- /dev/null
+++ b/platform/platform_interface.h
@@ -0,0 +1,29 @@
+#ifndef PLATFORM__PLATFORM_H
+#define PLATFORM__PLATFORM_H
+
+#ifndef __ASSEMBLY__
+
+/* This interface is designed to allow BBL/PK to be portable to multiple target
+ * platforms.  The current interface has been hacked up based on SiFive's fork
+ * of pk that runs on our FPGA boards.  The idea here is that rather than
+ * forking pk and touching things all over the tree, changes should be local to
+ * the target directory.
+ *
+ * This interface isn't meant to be stable or sane, just better than what we
+ * had before.
+ */
+
+/* Returns a pointer to what's expected to be a staticly allocated logo string.
+ * 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);
+
+/* The harts that should be excluded from booting to the target program and
+ * should intsead be held in a loop. */
+extern long platform__disabled_hart_mask;
+
+#endif
+
+#endif