patch.sh

#!/bin/bash

set -e

target="$1"

echo "Patching target: ${target}"

# Enable GZIP image support
sed -i -e 's|^//#define\s\+IMAGE_GZIP.*$|#define IMAGE_GZIP|' \
  -e 's|^//#define\s\+NTP_CMD.*$|#define NTP_CMD|' \
  -e 's|^#undef\s\+DOWNLOAD_PROTO_HTTPS.*$|#define DOWNLOAD_PROTO_HTTPS|' \
  ipxe/src/config/general.h

case $target in

  RPi3)
    echo "No patch required"
    ;;

  RPi4)
    # Set RAMLimit to >3GB, requires OS patched for DMA (e.g. Linux kernel >5.8)
    sed -i 's/gRaspberryPiTokenSpaceGuid.PcdRamLimitTo3GB|L"RamLimitTo3GB"|gConfigDxeFormSetGuid|0x0|1/gRaspberryPiTokenSpaceGuid.PcdRamLimitTo3GB|L"RamLimitTo3GB"|gConfigDxeFormSetGuid|0x0|0/g' edk2-platforms/Platform/RaspberryPi/RPi4/RPi4.dsc
    # Use device tree system table mode for GPIO support
    sed -i 's/gRaspberryPiTokenSpaceGuid.PcdSystemTableMode|L"SystemTableMode"|gConfigDxeFormSetGuid|0x0|0/gRaspberryPiTokenSpaceGuid.PcdSystemTableMode|L"SystemTableMode"|gConfigDxeFormSetGuid|0x0|2/g' edk2-platforms/Platform/RaspberryPi/RPi4/RPi4.dsc
    ;;

  *)
    echo "Target unknown. Aborting."
    ;;

esac