class spike64_2(targets.Target):
harts = [spike64.spike64_hart(), spike64.spike64_hart()]
- openocd_config_path = "spike.cfg"
- timeout_sec = 30
+ openocd_config_path = "spike-2.cfg"
+ timeout_sec = 60
def create(self):
- return testlib.Spike(self)
+ return testlib.Spike(self, isa="RV64IMAFD")