#\r
-# Copyright (c) 2018 - 2020, ARM Limited. All rights reserved.\r
+# Copyright (c) 2018 - 2021, ARM Limited. All rights reserved.\r
#\r
# SPDX-License-Identifier: BSD-2-Clause-Patent\r
#\r
\r
INF MdeModulePkg/Core/Dxe/DxeMain.inf\r
INF MdeModulePkg/Universal/PCD/Dxe/Pcd.inf\r
- INF ArmVirtPkg/VirtioFdtDxe/VirtioFdtDxe.inf\r
- INF ArmVirtPkg/FdtClientDxe/FdtClientDxe.inf\r
+ INF OvmfPkg/Fdt/VirtioFdtDxe/VirtioFdtDxe.inf\r
+ INF EmbeddedPkg/Drivers/FdtClientDxe/FdtClientDxe.inf\r
INF ArmVirtPkg/KvmtoolPlatformDxe/KvmtoolPlatformDxe.inf\r
- INF ArmVirtPkg/HighMemDxe/HighMemDxe.inf\r
+ INF OvmfPkg/Fdt/HighMemDxe/HighMemDxe.inf\r
\r
#\r
# PI DXE Drivers producing Architectural Protocols (EFI Services)\r
INF OvmfPkg/VirtioScsiDxe/VirtioScsi.inf\r
INF OvmfPkg/VirtioRngDxe/VirtioRng.inf\r
\r
- #\r
- # UEFI application (Shell Embedded Boot Loader)\r
- #\r
INF ShellPkg/Application/Shell/Shell.inf\r
INF ShellPkg/DynamicCommand/TftpDynamicCommand/TftpDynamicCommand.inf\r
\r
INF MdeModulePkg/Bus/Scsi/ScsiBusDxe/ScsiBusDxe.inf\r
INF MdeModulePkg/Bus/Scsi/ScsiDiskDxe/ScsiDiskDxe.inf\r
\r
+ #\r
+ # PCI support\r
+ #\r
+ INF ArmPkg/Drivers/ArmPciCpuIo2Dxe/ArmPciCpuIo2Dxe.inf\r
+ INF MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciHostBridgeDxe.inf\r
+ INF MdeModulePkg/Bus/Pci/PciBusDxe/PciBusDxe.inf\r
+ INF OvmfPkg/VirtioPciDeviceDxe/VirtioPciDeviceDxe.inf\r
+ INF OvmfPkg/Virtio10Dxe/Virtio10.inf\r
+\r
#\r
# TianoCore logo (splash screen)\r
#\r