update

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

diff --git a/l4/mk/platforms/tegra2.conf b/l4/mk/platforms/tegra2.conf
index 4b857d3458b3d7b6499d0028958d321b47766f39..0f18157126d4c27886d817e1244847660f531adc 100644 (file)
--- a/l4/mk/platforms/tegra2.conf
+++ b/l4/mk/platforms/tegra2.conf
@@ -1,3 +1,4 @@
 PLATFORM_NAME        = "Nvidia Tegra 2"
 PLATFORM_ARCH        = arm
 PLATFORM_RAM_BASE    = 0
+PLATFORM_RAM_SIZE_MB = 1024