]> rtime.felk.cvut.cz Git - l4.git/blob - l4/mk/platforms/exynos4.conf
projects / l4.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
update
[l4.git] / l4 / mk / platforms / exynos4.conf
1 PLATFORM_NAME        = "Samsung Exynos4"
2 PLATFORM_ARCH        = arm
3 PLATFORM_RAM_BASE    = 0x40000000
4 PLATFORM_RAM_SIZE_MB = 1024