temporary_files = []
temporary_binary = None
openocd_config = []
+ use_fpu = False
def __init__(self, cmd, run, isolate):
self.cmd = cmd
prefix=binary_name + "_")
binary_name = self.temporary_binary.name
Target.temporary_files.append(self.temporary_binary)
+ march = "RV%dIMA" % self.xlen
+ if self.use_fpu:
+ march += "FD"
testlib.compile(sources +
("programs/entry.S", "programs/init.c",
"-I", "../env",
+ "-march=%s" % march,
"-T", "targets/%s/link.lds" % (self.directory or self.name),
"-nostartfiles",
"-mcmodel=medany",
+ "-DXLEN=%d" % self.xlen,
"-o", binary_name),
xlen=self.xlen)
return binary_name
class Spike64Target(SpikeTarget):
name = "spike64"
xlen = 64
+ use_fpu = True
def server(self):
return testlib.Spike(self.cmd, halted=True)