]> rtime.felk.cvut.cz Git - l4.git/blob - l4/mk/platforms/rv_vexpress_a15.conf
projects / l4.git / blob
? search:


fc1e2e7ceb32d4599b581136e41df86c626cd95d
[l4.git] / l4 / mk / platforms / rv_vexpress_a15.conf
1 PLATFORM_NAME        = "ARM Versatile Express"
2 PLATFORM_ARCH        = arm
3 PLATFORM_RAM_BASE    = 0x80000000
4 PLATFORM_RAM_SIZE_MB = 256