X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=debug%2Ftargets%2FRISC-V%2Fspike32.py;h=dfcfc0134dc26a67dedbc1ee79fd4e0d3d1c38c2;hb=d359b6252eceb5e28f1048591750954d09efd12b;hp=809463cb697c065d365eabd6505d4f042ae07c12;hpb=bf90ee0cf31a7cd0b2c535592f9970a300a8f1a5;p=riscv-tests.git

diff --git a/debug/targets/RISC-V/spike32.py b/debug/targets/RISC-V/spike32.py
index 809463c..dfcfc01 100644
--- a/debug/targets/RISC-V/spike32.py
+++ b/debug/targets/RISC-V/spike32.py
@@ -15,4 +15,5 @@ class spike32(targets.Target):
     timeout_sec = 30
 
     def create(self):
-        return testlib.Spike(self)
+        # 64-bit FPRs on 32-bit target
+        return testlib.Spike(self, isa="RV32IMAFDC")