diff options
Diffstat (limited to 'platform/platform_interface.h')
-rw-r--r-- | platform/platform_interface.h | 29 |
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 |