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