]> rtime.felk.cvut.cz Git - l4.git/blob - l4/mk/platforms/rpi_b.conf
projects / l4.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
update
[l4.git] / l4 / mk / platforms / rpi_b.conf
1 PLATFORM_NAME        = "Raspberry Pi, Model B"
2 PLATFORM_ARCH        = arm
3 PLATFORM_RAM_BASE    = 0x0
4 PLATFORM_RAM_SIZE_MB = 512