diff options
Diffstat (limited to 'isa/rv32mi')
-rw-r--r-- | isa/rv32mi/Makefrag | 1 | ||||
-rw-r--r-- | isa/rv32mi/wfi.S | 8 |
2 files changed, 0 insertions, 9 deletions
diff --git a/isa/rv32mi/Makefrag b/isa/rv32mi/Makefrag index 9aeb12d..c8fbcf4 100644 --- a/isa/rv32mi/Makefrag +++ b/isa/rv32mi/Makefrag @@ -12,7 +12,6 @@ rv32mi_sc_tests = \ scall \ sbreak \ shamt \ - wfi \ rv32mi_mc_tests = \ ipi \ diff --git a/isa/rv32mi/wfi.S b/isa/rv32mi/wfi.S deleted file mode 100644 index d5cb3cb..0000000 --- a/isa/rv32mi/wfi.S +++ /dev/null @@ -1,8 +0,0 @@ -# See LICENSE for license details. - -#include "riscv_test.h" -#undef RVTEST_RV64S -#define RVTEST_RV64S RVTEST_RV32M -#define __MACHINE_MODE - -#include "../rv64si/wfi.S" |