# -D FLAG=VALUE\r
#\r
DEFINE SECURE_BOOT_ENABLE = FALSE\r
+ DEFINE PURE_ACPI_BOOT_ENABLE = FALSE\r
\r
!include ArmVirtPkg/ArmVirt.dsc.inc\r
\r
# Activate KVM workaround for now.\r
gArmVirtTokenSpaceGuid.PcdKludgeMapPciMmioAsCached|TRUE\r
\r
+!if $(PURE_ACPI_BOOT_ENABLE) == TRUE\r
+ gArmVirtTokenSpaceGuid.PcdPureAcpiBoot|TRUE\r
+!endif\r
+\r
[PcdsFixedAtBuild.common]\r
gArmPlatformTokenSpaceGuid.PcdCoreCount|1\r
!if $(ARCH) == AARCH64\r
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