#DebugAgentLib|EmbeddedPkg/Library/GdbDebugAgent/GdbDebugAgent.inf\r
\r
# L2 Cache Driver\r
- L2X0CacheLib|ArmPkg/Library/L2X0CacheLibNull/L2X0CacheLibNull.inf\r
+ L2X0CacheLib|ArmPlatformPkg/Library/L2X0CacheLibNull/L2X0CacheLibNull.inf\r
# ARM PL390 General Interrupt Driver in Secure and Non-secure\r
PL390GicSecLib|ArmPkg/Drivers/PL390Gic/PL390GicSec.inf\r
\r
\r
# 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
- gArmPlatformTokenSpaceGuid.PcdSP804Timer0InterruptNum|36\r
- \r
+ \r
#\r
# ARM Pcds\r
#\r
#\r
gArmRealViewEbPkgTokenSpaceGuid.PcdGdbUartBase|0x1000a000\r
\r
+ #\r
+ # ARM PrimeCells\r
+ #\r
+ \r
+ ## SP804 Timer\r
+ gEmbeddedTokenSpaceGuid.PcdEmbeddedPerformanceCounterFrequencyInHz|1000000\r
+ gEmbeddedTokenSpaceGuid.PcdTimerPeriod|100000 # expressed in 100ns units, 100,000 x 100 ns = 10,000,000 ns = 10 ms\r
+ gArmPlatformTokenSpaceGuid.PcdSP804TimerPeriodicInterruptNum|36\r
+ gArmPlatformTokenSpaceGuid.PcdSP804TimerPeriodicBase|0x10011000\r
+ gArmPlatformTokenSpaceGuid.PcdSP804TimerPerformanceBase|0x10012020\r
+ gArmPlatformTokenSpaceGuid.PcdSP804TimerMetronomeBase|0x10012000\r
+ \r
+ ## PL031 RealTimeClock\r
+ gArmPlatformTokenSpaceGuid.PcdPL031RtcBase|0x10017000\r
+ \r
+ ## PL111 Lcd\r
+ gArmPlatformTokenSpaceGuid.PcdPL111LcdBase|0x10020000\r
+ \r
#\r
# ARM PL011 - Serial Terminal\r
#\r