X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/l4/mk/platforms/pandaboard.conf

diff --git a/l4/mk/platforms/pandaboard.conf b/l4/mk/platforms/pandaboard.conf
index d61cdd7c8..4d9d7a784 100644
--- a/l4/mk/platforms/pandaboard.conf
+++ b/l4/mk/platforms/pandaboard.conf
@@ -1,4 +1,4 @@
 PLATFORM_NAME        = "Pandaboard"
 PLATFORM_ARCH        = arm
 PLATFORM_RAM_BASE    = 0x80000000
-PLATFORM_RAM_SIZE_MB = 512
+PLATFORM_RAM_SIZE_MB = 1024