# It could be set FALSE to save size.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdConOutGopSupport|TRUE\r
\r
- ## FVP platforms support hardware power control\r
- # Disabled for now as we have a version mismatch.\r
- gArmTokenSpaceGuid.PcdArmPsciSupport|FALSE\r
-\r
[PcdsFixedAtBuild.common]\r
gArmPlatformTokenSpaceGuid.PcdFirmwareVendor|"ARM Fixed Virtual Platform"\r
gEmbeddedTokenSpaceGuid.PcdEmbeddedPrompt|"ARM-FVP"\r
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
gArmPlatformTokenSpaceGuid.PcdDefaultConInPaths|L"VenHw(D3987D4B-971A-435F-8CAF-4967EB627241)/Uart(38400,8,N,1)/VenPcAnsi()"\r
\r
#\r
- # ARM Architectual Timer Frequency\r
+ # ARM Architectural Timer Frequency\r
#\r
- # Set tick frequency value to 120Mhz\r
- gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|120000000\r
+ # Set tick frequency value to 100Mhz\r
+ gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|100000000\r
\r
################################################################################\r
#\r