Limit spike RAM so I can run valgrind on it.
authorTim Newsome <tim@sifive.com>
Fri, 2 Sep 2016 16:12:32 +0000 (09:12 -0700)
committerTim Newsome <tim@sifive.com>
Fri, 2 Sep 2016 16:12:32 +0000 (09:12 -0700)
debug/testlib.py

index b2bfa8ed4c2bbb1acd8fb4e0e1d273415e119d6c..82a731a73b7662f0765855dcb257b9ec96599416 100644 (file)
@@ -58,6 +58,7 @@ class Spike(object):
         if with_gdb:
             self.port = unused_port()
             cmd += ['--gdb-port', str(self.port)]
         if with_gdb:
             self.port = unused_port()
             cmd += ['--gdb-port', str(self.port)]
+        cmd.append("-m32")
         cmd.append('pk')
         if binary:
             cmd.append(binary)
         cmd.append('pk')
         if binary:
             cmd.append(binary)