Files
foc/l4/conf/platforms/rpi3.conf

5 lines
136 B
Plaintext

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