diff options
Diffstat (limited to 'platform/platform_interface.h')
| -rw-r--r-- | platform/platform_interface.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/platform/platform_interface.h b/platform/platform_interface.h index 9c52cde..dd521e3 100644 --- a/platform/platform_interface.h +++ b/platform/platform_interface.h @@ -15,4 +15,7 @@ * 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 |