You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
29 lines
935 B
29 lines
935 B
#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
|
|
|