Files
foc/l4/conf/platforms/rpi2.conf

5 lines
130 B
Plaintext

PLATFORM_NAME = "Raspberry Pi 2, Model B"
PLATFORM_ARCH = arm
PLATFORM_RAM_BASE = 0x0
PLATFORM_RAM_SIZE_MB = 992