]> rtime.felk.cvut.cz Git - l4.git/blob - l4/mk/platforms/exynos5.conf
update
[l4.git] / l4 / mk / platforms / exynos5.conf
1 PLATFORM_NAME        = "Samsung Exynos5"
2 PLATFORM_ARCH        = arm
3 PLATFORM_RAM_BASE    = 0x40000000
4 PLATFORM_RAM_SIZE_MB = 2047