Index: /trunk/source/lisp-kernel/platform-linuxarm.h
===================================================================
--- /trunk/source/lisp-kernel/platform-linuxarm.h	(revision 14319)
+++ /trunk/source/lisp-kernel/platform-linuxarm.h	(revision 14320)
@@ -26,5 +26,5 @@
 
 
-#define MAXIMUM_MAPPABLE_MEMORY (5<<28)
+#define MAXIMUM_MAPPABLE_MEMORY (512<<20)
 #define IMAGE_BASE_ADDRESS 0x50000000