Skip to content



Repository files navigation

Customized Raspberry Pi 4 UEFI Firmware Images

Build status Github stats Release


This repository contains installable builds of the official EDK2 Raspberry Pi 4 UEFI firmware.

For the original builds without customization, visit the Pi Firmware Task Force's RPi4 repository. Review that page for installation, usage, and other notices.

Changes from Upstream Builds

The following changes have been applied to customize the build:

  1. Disable RAM Limiter by default
  2. Include the several additional devicetree overlays (including PoE HAT, PoE+ HAT)
  3. Enable the PoE HAT devicetree overlay by default
  4. Changed the UEFI Firmware Vendor string
  5. Disable the Raspberry Pi firmware rainbow splash


The firmware (RPI_EFI.fd) is licensed under the current EDK2 license, which is BSD-2-Clause-Patent.

The other files from the zip archives are licensed under the terms described in the Raspberry Pi boot files README.

The binary blobs in the firmware/ directory are licensed under the Cypress wireless driver license that is found there.