Index: tools/ew.py
===================================================================
--- tools/ew.py	(revision 94c05b89b35e97bd16e44d00f32fdf77dcd0470c)
+++ tools/ew.py	(revision c188c62aa2ffa4dc0f6451547f7cdb1966d6eb8d)
@@ -212,5 +212,5 @@
 
 def spike_run(platform, machine, processor):
-	run_in_console('spike image.boot', 'HelenOS/risvc64 on Spike')
+	run_in_console('spike -m1073741824:1073741824 image.boot', 'HelenOS/risvc64 on Spike')
 
 emulators = {