INF MdeModulePkg/Universal/PCD/Dxe/Pcd.inf\r
INF ArmVirtPkg/VirtioFdtDxe/VirtioFdtDxe.inf\r
INF ArmVirtPkg/FdtClientDxe/FdtClientDxe.inf\r
+ INF ArmVirtPkg/HighMemDxe/HighMemDxe.inf\r
\r
#\r
# PI DXE Drivers producing Architectural Protocols (EFI Services)\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