gArmPlatformTokenSpaceGuid.PcdCPUCorePrimaryStackSize|0x4000\r
gArmPlatformTokenSpaceGuid.PcdCPUCoreSecondaryStackSize|0x1000\r
\r
- # System Memory (2GB)\r
+ # System Memory (2GB - 16MB of Trusted DRAM at the top of the 32bit address space)\r
gArmTokenSpaceGuid.PcdSystemMemoryBase|0x80000000\r
- gArmTokenSpaceGuid.PcdSystemMemorySize|0x80000000\r
+ gArmTokenSpaceGuid.PcdSystemMemorySize|0x7F000000\r
\r
# Size of the region used by UEFI in permanent memory (Reserved 64MB)\r
gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize|0x04000000\r