!if $(SECURE_BOOT_ENABLE) == TRUE\r
FileExplorerLib|MdeModulePkg/Library/FileExplorerLib/FileExplorerLib.inf\r
!endif\r
+ PciPcdProducerLib|ArmVirtPkg/Library/FdtPciPcdProducerLib/FdtPciPcdProducerLib.inf\r
\r
[LibraryClasses.common.UEFI_DRIVER]\r
UefiScsiLib|MdePkg/Library/UefiScsiLib/UefiScsiLib.inf\r
gArmPlatformTokenSpaceGuid.PcdPciIoTranslation|0x0\r
gArmPlatformTokenSpaceGuid.PcdPciMmio32Base|0x0\r
gArmPlatformTokenSpaceGuid.PcdPciMmio32Size|0x0\r
- gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress|0x0\r
\r
- gArmVirtTokenSpaceGuid.PcdArmPsciMethod|0\r
-\r
- gArmVirtTokenSpaceGuid.PcdFwCfgSelectorAddress|0x0\r
- gArmVirtTokenSpaceGuid.PcdFwCfgDataAddress|0x0\r
- gArmVirtTokenSpaceGuid.PcdFwCfgDmaAddress|0x0\r
+ # set PcdPciExpressBaseAddress to MAX_UINT64, which signifies that this\r
+ # PCD and PcdPciDisableBusEnumeration above have not been assigned yet\r
+ gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress|0xFFFFFFFFFFFFFFFF\r
\r
#\r
# Set video resolution for boot options and for text setup.\r
MdeModulePkg/Universal/HiiDatabaseDxe/HiiDatabaseDxe.inf\r
\r
ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
- ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
+ ArmPkg/Drivers/TimerDxe/TimerDxe.inf {\r
+ <LibraryClasses>\r
+ NULL|ArmVirtPkg/Library/ArmVirtTimerFdtClientLib/ArmVirtTimerFdtClientLib.inf\r
+ }\r
!if $(SECURE_BOOT_ENABLE) == TRUE\r
ArmPlatformPkg/Drivers/NorFlashDxe/NorFlashAuthenticatedDxe.inf\r
!else\r