INF MdeModulePkg/Core/Dxe/DxeMain.inf\r
INF MdeModulePkg/Universal/PCD/Dxe/Pcd.inf\r
INF ArmVirtPkg/VirtFdtDxe/VirtFdtDxe.inf\r
+ INF ArmVirtPkg/HighMemDxe/HighMemDxe.inf\r
\r
#\r
# PI DXE Drivers producing Architectural Protocols (EFI Services)\r
INF MdeModulePkg/Universal/Console/ConSplitterDxe/ConSplitterDxe.inf\r
INF MdeModulePkg/Universal/Console/GraphicsConsoleDxe/GraphicsConsoleDxe.inf\r
INF MdeModulePkg/Universal/Console/TerminalDxe/TerminalDxe.inf\r
- INF EmbeddedPkg/SerialDxe/SerialDxe.inf\r
+ INF MdeModulePkg/Universal/SerialDxe/SerialDxe.inf\r
\r
INF ArmPkg/Drivers/ArmGic/ArmGicDxe.inf\r
INF ArmPkg/Drivers/TimerDxe/TimerDxe.inf\r
INF OvmfPkg/VirtioBlkDxe/VirtioBlk.inf\r
INF OvmfPkg/VirtioNetDxe/VirtioNet.inf\r
INF OvmfPkg/VirtioScsiDxe/VirtioScsi.inf\r
+ INF OvmfPkg/VirtioRngDxe/VirtioRng.inf\r
\r
#\r
# UEFI application (Shell Embedded Boot Loader)\r
INF MdeModulePkg/Universal/SmbiosDxe/SmbiosDxe.inf\r
INF OvmfPkg/SmbiosPlatformDxe/SmbiosPlatformDxe.inf\r
\r
+!if $(ARCH) == AARCH64\r
#\r
# ACPI Support\r
#\r
INF MdeModulePkg/Universal/Acpi/AcpiTableDxe/AcpiTableDxe.inf\r
INF OvmfPkg/AcpiPlatformDxe/QemuFwCfgAcpiPlatformDxe.inf\r
+!endif\r
\r
#\r
# PCI support\r
INF ArmVirtPkg/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
# Video support\r
SECTION RAW = MdeModulePkg/Logo/Logo.bmp\r
}\r
\r
-!if $(ARCH) == ARM\r
- INF MdeModulePkg/Universal/FvSimpleFileSystemDxe/FvSimpleFileSystemDxe.inf\r
- INF ArmPkg/Application/LinuxLoader/LinuxLoader.inf\r
-!endif\r
-\r
[FV.FVMAIN_COMPACT]\r
FvAlignment = 16\r
ERASE_POLARITY = 1\r