diff options
Diffstat (limited to 'isa/rv32mi/Makefrag')
| -rw-r--r-- | isa/rv32mi/Makefrag | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/isa/rv32mi/Makefrag b/isa/rv32mi/Makefrag new file mode 100644 index 0000000..e6ab8c8 --- /dev/null +++ b/isa/rv32mi/Makefrag @@ -0,0 +1,18 @@ +#======================================================================= +# Makefrag for rv32mi tests +#----------------------------------------------------------------------- + +rv32mi_sc_tests = \ + csr \ + illegal \ + ma_fetch \ + ma_addr \ + scall \ + sbreak \ + timer \ + +rv32mi_mc_tests = \ + ipi \ + +rv32mi_p_tests = $(addprefix rv32mi-p-, $(rv32mi_sc_tests)) +rv32mi_pm_tests = $(addprefix rv32mi-pm-, $(rv32mi_mc_tests)) |