blob: f0830856cc34497be24f4802087eca3120399334 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
|