\r
INF MdeModulePkg/Core/Dxe/DxeMain.inf\r
INF MdeModulePkg/Universal/PCD/Dxe/Pcd.inf\r
- INF ArmVirtPkg/VirtioFdtDxe/VirtioFdtDxe.inf\r
+ INF OvmfPkg/Fdt/VirtioFdtDxe/VirtioFdtDxe.inf\r
INF EmbeddedPkg/Drivers/FdtClientDxe/FdtClientDxe.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 MdeModulePkg/Universal/Acpi/AcpiTableDxe/AcpiTableDxe.inf\r
INF MdeModulePkg/Universal/Acpi/BootGraphicsResourceTableDxe/BootGraphicsResourceTableDxe.inf\r
INF ArmVirtPkg/CloudHvAcpiPlatformDxe/CloudHvAcpiPlatformDxe.inf\r
-\r
- #\r
- # EBC support\r
- #\r
- INF MdeModulePkg/Universal/EbcDxe/EbcDxe.inf\r
!endif\r
\r
#\r