aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debug/Makefile6
-rw-r--r--debug/targets/RISC-V/spike32-2-rtos.py20
2 files changed, 3 insertions, 23 deletions
diff --git a/debug/Makefile b/debug/Makefile
index 3efdea8..8f40a14 100644
--- a/debug/Makefile
+++ b/debug/Makefile
@@ -7,8 +7,8 @@ TESTS = $(shell $(GDBSERVER_PY) --list-tests $(src_dir)/targets/RISC-V/spike32.p
default: spike$(XLEN) spike$(XLEN)-2
-all-tests: spike32 spike32-2 spike32-2-rtos spike32-2-hwthread \
- spike64 spike64-2 spike64-2-rtos spike64-2-hwthread
+all-tests: spike32 spike32-2 spike32-2-hwthread \
+ spike64 spike64-2 spike64-2-hwthread
all: pylint all-tests
@@ -23,7 +23,7 @@ run.%:
--server_cmd $(RISCV)/bin/openocd
# Target to check all the multicore options.
-multi-tests: spike32-2 spike64-2-rtos spike32-2-hwthread
+multi-tests: spike32-2 spike32-2-hwthread
pylint:
pylint --rcfile=pylint.rc `git ls-files '*.py'`
diff --git a/debug/targets/RISC-V/spike32-2-rtos.py b/debug/targets/RISC-V/spike32-2-rtos.py
deleted file mode 100644
index 81029e8..0000000
--- a/debug/targets/RISC-V/spike32-2-rtos.py
+++ /dev/null
@@ -1,20 +0,0 @@
-import targets
-import testlib
-
-import spike32 # pylint: disable=import-error
-
-class spike32_2(targets.Target):
- harts = [spike32.spike32_hart(misa=0x40141129),
- spike32.spike32_hart(misa=0x40141129)]
- openocd_config_path = "spike-rtos.cfg"
- timeout_sec = 30
- implements_custom_test = True
- support_hasel = False
- test_semihosting = False
- support_manual_hwbp = False # not supported with `-rtos riscv`
- support_memory_sampling = False # not supported with `-rtos riscv`
-
- def create(self):
- return testlib.Spike(self, progbufsize=0, dmi_rti=4,
- support_hasel=False, support_abstract_csr=True,
- support_haltgroups=False)