class spike64(targets.Target):
harts = [spike64_hart()]
- openocd_config_path = "spike.cfg"
+ openocd_config_path = "spike-1.cfg"
timeout_sec = 30
def create(self):
- return testlib.Spike(self)
+ # 32-bit FPRs only
+ return testlib.Spike(self, isa="RV64IMAFC", progbufsize=0)