diff options
| author | Andrew Waterman <andrew@sifive.com> | 2017-02-17 01:54:41 -0800 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2017-02-17 01:54:41 -0800 |
| commit | 926b360655fd7a22413c7732faceeea21a224aa1 (patch) | |
| tree | a0fe50446c5ccbdb2aecd7945aa7025804c655e7 /pk/frontend.c | |
| parent | 611290ccde8d76c1973a37d82a5d4b3e4b7b90c4 (diff) | |
| download | pk-926b360655fd7a22413c7732faceeea21a224aa1.zip pk-926b360655fd7a22413c7732faceeea21a224aa1.tar.gz pk-926b360655fd7a22413c7732faceeea21a224aa1.tar.bz2 | |
WIP towards ECALL interface for SBI
Diffstat (limited to 'pk/frontend.c')
| -rw-r--r-- | pk/frontend.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pk/frontend.c b/pk/frontend.c index 716f050..e58df26 100644 --- a/pk/frontend.c +++ b/pk/frontend.c @@ -3,7 +3,6 @@ #include "pk.h" #include "atomic.h" #include "frontend.h" -#include "sbi.h" #include "syscall.h" #include "htif.h" #include <stdint.h> |