update

[l4.git] / l4 / mk / platforms / pandaboard.conf

diff --git a/l4/mk/platforms/pandaboard.conf b/l4/mk/platforms/pandaboard.conf
index d61cdd7c8432fa6f262c01b86e3b7fcc0ca6a9f7..4d9d7a78443da33e4daf77c0fabb5c58a2822601 100644 (file)
--- 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