Index: tools/ew.py
===================================================================
--- tools/ew.py	(revision 94c05b89b35e97bd16e44d00f32fdf77dcd0470c)
+++ tools/ew.py	(revision 83b7f4d0e2775446c94394f1ea7f0544e6c78154)
@@ -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 = {