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