rv64si_sc_tests = \
csr \
- timer \
- dirty \
-
-rv64si_mc_tests = \
- ipi \
+ ma_fetch \
+ scall \
+ wfi \
+ sbreak \
rv64si_p_tests = $(addprefix rv64si-p-, $(rv64si_sc_tests))
-rv64si_pm_tests = $(addprefix rv64si-pm-, $(rv64si_mc_tests))
-spike_tests += $(rv64si_p_tests) $(rv64si_pm_tests)
+spike_tests += $(rv64si_p_tests)