+ # System Memory (256MB) \r
+ gArmTokenSpaceGuid.PcdSystemMemoryBase|0x70000000\r
+ gArmTokenSpaceGuid.PcdSystemMemorySize|0x10000000\r
+ \r
+ # Size of the region used by UEFI in permanent memory (Reserved 64MB)\r
+ gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize|0x04000000\r
+ \r