Test FPRs that aren't XLEN in size.
[riscv-tests.git] / debug / targets / RISC-V / spike32.py
index 3bf8b4783c4578bb5f671b9036c5a08de37c7ab4..dfcfc0134dc26a67dedbc1ee79fd4e0d3d1c38c2 100644 (file)
@@ -1,12 +1,19 @@
 import targets
 import testlib
 
-class spike32(targets.Target):
+class spike32_hart(targets.Hart):
     xlen = 32
     ram = 0x10000000
     ram_size = 0x10000000
     instruction_hardware_breakpoint_count = 4
-    reset_vector = 0x1000
+    reset_vectors = [0x1000]
+    link_script_path = "spike32.lds"
+
+class spike32(targets.Target):
+    harts = [spike32_hart()]
+    openocd_config_path = "spike-1.cfg"
+    timeout_sec = 30
 
     def create(self):
-        return testlib.Spike(self)
+        # 64-bit FPRs on 32-bit target
+        return testlib.Spike(self, isa="RV32IMAFDC")