diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-11-03 16:30:35 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-11-03 16:36:40 -0700 |
| commit | d1849cb5e3b8c714c2dae78bb15465f288707ac5 (patch) | |
| tree | b3aad5d06c4b9fec59d1e6ecba1fbd25d1833814 /platform/platform_interface.h | |
| parent | 3815c611158f435d36121c2c433af664ad86d8ca (diff) | |
| download | riscv-pk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.zip riscv-pk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.tar.gz riscv-pk-d1849cb5e3b8c714c2dae78bb15465f288707ac5.tar.bz2 | |
Remove the platform interface
We now automatically detect everything that the platform interface used
to be used for, so it's now obsolete!
Diffstat (limited to 'platform/platform_interface.h')
| -rw-r--r-- | platform/platform_interface.h | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/platform/platform_interface.h b/platform/platform_interface.h deleted file mode 100644 index 203457d..0000000 --- a/platform/platform_interface.h +++ /dev/null @@ -1,25 +0,0 @@ -#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); - -#endif - -#endif |