Update

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

diff --git a/l4/mk/platforms/exynos4.conf b/l4/mk/platforms/exynos4.conf
index c9ecac02db3ebb02683ccd675e42b37688485734..76e5da58eb2af8b2f5778c8d327122cd6a47b33f 100644 (file)
--- a/l4/mk/platforms/exynos4.conf
+++ b/l4/mk/platforms/exynos4.conf
@@ -2,3 +2,4 @@ PLATFORM_NAME        = "Samsung Exynos4"
 PLATFORM_ARCH        = arm
 PLATFORM_RAM_BASE    = 0x40000000
 PLATFORM_RAM_SIZE_MB = 1024
+PLATFORM_UART_NR     = 2