diff options
Diffstat (limited to 'isa/rv32mi')
-rw-r--r-- | isa/rv32mi/Makefrag | 4 | ||||
-rw-r--r-- | isa/rv32mi/timer.S | 7 |
2 files changed, 1 insertions, 10 deletions
diff --git a/isa/rv32mi/Makefrag b/isa/rv32mi/Makefrag index 66a0e39..9aeb12d 100644 --- a/isa/rv32mi/Makefrag +++ b/isa/rv32mi/Makefrag @@ -12,13 +12,11 @@ rv32mi_sc_tests = \ scall \ sbreak \ shamt \ - timer \ wfi \ rv32mi_mc_tests = \ ipi \ rv32mi_p_tests = $(addprefix rv32mi-p-, $(rv32mi_sc_tests)) -rv32mi_pm_tests = $(addprefix rv32mi-pm-, $(rv32mi_mc_tests)) -spike32_tests += $(rv32mi_p_tests) $(rv32mi_pm_tests) +spike32_tests += $(rv32mi_p_tests) diff --git a/isa/rv32mi/timer.S b/isa/rv32mi/timer.S deleted file mode 100644 index 307876c..0000000 --- a/isa/rv32mi/timer.S +++ /dev/null @@ -1,7 +0,0 @@ -# See LICENSE for license details. - -#include "riscv_test.h" -#undef RVTEST_RV64M -#define RVTEST_RV64M RVTEST_RV32M - -#include "../rv64mi/timer.S" |