Limit spike RAM so I can run valgrind on it.

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