# -D FLAG=VALUE\r
#\r
DEFINE SECURE_BOOT_ENABLE = FALSE\r
+ DEFINE HTTP_BOOT_ENABLE = FALSE\r
\r
!include ArmVirtPkg/ArmVirt.dsc.inc\r
\r
PciSegmentLib|MdePkg/Library/BasePciSegmentLibPci/BasePciSegmentLibPci.inf\r
PciHostBridgeLib|ArmVirtPkg/Library/FdtPciHostBridgeLib/FdtPciHostBridgeLib.inf\r
\r
+!if $(HTTP_BOOT_ENABLE) == TRUE\r
+ HttpLib|MdeModulePkg/Library/DxeHttpLib/DxeHttpLib.inf\r
+!endif\r
+\r
[LibraryClasses.common.UEFI_DRIVER]\r
UefiScsiLib|MdePkg/Library/UefiScsiLib/UefiScsiLib.inf\r
\r
#\r
gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz|0\r
\r
+!if $(HTTP_BOOT_ENABLE) == TRUE\r
+ gEfiNetworkPkgTokenSpaceGuid.PcdAllowHttpConnections|TRUE\r
+!endif\r
+\r
# System Memory Base -- fixed at 0x4000_0000\r
gArmTokenSpaceGuid.PcdSystemMemoryBase|0x40000000\r
\r
MdeModulePkg/Universal/Network/Udp4Dxe/Udp4Dxe.inf\r
MdeModulePkg/Universal/Network/UefiPxeBcDxe/UefiPxeBcDxe.inf\r
MdeModulePkg/Universal/Network/IScsiDxe/IScsiDxe.inf\r
+!if $(HTTP_BOOT_ENABLE) == TRUE\r
+ NetworkPkg/DnsDxe/DnsDxe.inf\r
+ NetworkPkg/HttpUtilitiesDxe/HttpUtilitiesDxe.inf\r
+ NetworkPkg/HttpDxe/HttpDxe.inf\r
+ NetworkPkg/HttpBootDxe/HttpBootDxe.inf\r
+!endif\r
\r
#\r
# SCSI Bus and Disk Driver\r