]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/mk/platforms/exynos5.conf
Update
[l4.git] / l4 / mk / platforms / exynos5.conf
index 10f33efc5393fce40f4fdddf09c1174f93cb0b53..2f7801d48189ab1f44a62c5c13f15df005253694 100644 (file)
@@ -2,3 +2,4 @@ PLATFORM_NAME        = "Samsung Exynos5"
 PLATFORM_ARCH        = arm
 PLATFORM_RAM_BASE    = 0x40000000
 PLATFORM_RAM_SIZE_MB = 2047
+PLATFORM_UART_NR     = 2