# Size of the region used by UEFI in permanent memory (Reserved 64MB)\r
gArmPlatformTokenSpaceGuid.PcdSystemMemoryUefiRegionSize|0x04000000\r
\r
+ gEmbeddedTokenSpaceGuid.PcdEmbeddedPerformanceCounterFrequencyInHz|1000000\r
gEmbeddedTokenSpaceGuid.PcdTimerPeriod|100000 # expressed in 100ns units, 100,000 x 100 ns = 10,000,000 ns = 10 ms\r
\r
#\r
#\r
gArmRealViewEbPkgTokenSpaceGuid.PcdGdbUartBase|0x1000a000\r
\r
+ #\r
+ # ARM PL011 - Serial Terminal\r
+ #\r
+ gEfiMdeModulePkgTokenSpaceGuid.PcdSerialRegisterBase|0x10009000\r
+ \r
#\r
# ARM PL390 General Interrupt Controller\r
#\r