\r
#DebugAgentTimerLib|ArmPlatformPkg/ArmVExpressPkg/Library/DebugAgentTimerLib/DebugAgentTimerLib.inf\r
\r
- # ARM PL390 General Interrupt Driver in Secure and Non-secure\r
- ArmGicSecLib|ArmPkg/Drivers/PL390Gic/PL390GicSecLib.inf\r
- ArmGicLib|ArmPkg/Drivers/PL390Gic/PL390GicLib.inf\r
-\r
TimerLib|ArmPkg/Library/ArmArchTimerLib/ArmArchTimerLib.inf \r
\r
[LibraryClasses.common.SEC]\r
## PL011 - Serial Terminal\r
gEfiMdeModulePkgTokenSpaceGuid.PcdSerialRegisterBase|0x1c090000\r
gEfiMdePkgTokenSpaceGuid.PcdUartDefaultBaudRate|38400\r
- gEfiMdePkgTokenSpaceGuid.PcdUartDefaultDataBits|8\r
- gEfiMdePkgTokenSpaceGuid.PcdUartDefaultParity|1\r
- gEfiMdePkgTokenSpaceGuid.PcdUartDefaultStopBits|1\r
\r
## PL031 RealTimeClock\r
gArmPlatformTokenSpaceGuid.PcdPL031RtcBase|0x1C170000\r
#\r
# SEC\r
#\r
- ArmPlatformPkg/Sec/Sec.inf\r
+ ArmPlatformPkg/Sec/Sec.inf {\r
+ <LibraryClasses>\r
+ # Use the implementation which set the Secure bits\r
+ ArmGicLib|ArmPkg/Drivers/PL390Gic/PL390GicSecLib.inf\r
+ }\r
\r
#\r
# PEI Phase modules\r