ArmVirtPkg/PciHostBridgeDxe/PciHostBridgeDxe.inf\r
MdeModulePkg/Bus/Pci/PciBusDxe/PciBusDxe.inf\r
OvmfPkg/VirtioPciDeviceDxe/VirtioPciDeviceDxe.inf\r
+ OvmfPkg/Virtio10Dxe/Virtio10.inf\r
\r
#\r
# Video support\r
#\r
MdeModulePkg/Universal/Acpi/AcpiTableDxe/AcpiTableDxe.inf\r
OvmfPkg/AcpiPlatformDxe/QemuFwCfgAcpiPlatformDxe.inf\r
-\r
-[Components.ARM]\r
- #\r
- # The ARM/Linux kernel has no built in EFI boot stub (yet), so we still need\r
- # an intermediate OS loader. Add the LinuxLoader UEFI application so we can\r
- # invoke it from the shell.\r
- #\r
- MdeModulePkg/Universal/FvSimpleFileSystemDxe/FvSimpleFileSystemDxe.inf\r
- ArmPkg/Application/LinuxLoader/LinuxLoader.inf {\r
- <LibraryClasses>\r
- BdsLib|ArmPkg/Library/BdsLib/BdsLib.inf\r
- }\r