diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-07-28 14:10:20 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-02 12:32:45 -0700 |
| commit | 62effc6bfe4f1a7e8a771c49966c4ab7755d6612 (patch) | |
| tree | 5c43ece292d162809e0a0544817d1d20abbef73b /platform/spike.c | |
| parent | bb19fef663a5ce32d7e2d3557362a51da8d99365 (diff) | |
| download | pk-62effc6bfe4f1a7e8a771c49966c4ab7755d6612.zip pk-62effc6bfe4f1a7e8a771c49966c4ab7755d6612.tar.gz pk-62effc6bfe4f1a7e8a771c49966c4ab7755d6612.tar.bz2 | |
Allow the platform to disable HTIF
Diffstat (limited to 'platform/spike.c')
| -rw-r--r-- | platform/spike.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/platform/spike.c b/platform/spike.c index 06aa742..159255f 100644 --- a/platform/spike.c +++ b/platform/spike.c @@ -25,8 +25,12 @@ static const char logo[] = "\n" " INSTRUCTION SETS WANT TO BE FREE\n"; - const char *platform__get_logo(void) { return logo; } + +int platform__use_htif(void) +{ + return 1; +} |