Skip to content

pftf/RPi3

Repository files navigation

Raspberry Pi 3 UEFI Firmware Images

Build status Github stats Release

Screenshot

Screenshot

Summary

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

The use of this firmware can greatly simplify the installation of generic Linux distributions such as Debian or Ubuntu as well as Windows 10 (in regular GUI mode, not IoT mode), straight from their ISO images.

The original development of this firmware was carried out by Ard Biesheuvel and Andrei Warkentin.

Installation

  • Download the latest archive from the Releases repository.

  • Create an SD card (or USB drive if you plan to use USB Boot) in MBR mode with a single partition of type 0x0c (FAT32 LBA) or 0x0e (FAT16 LBA). Then format this partition to FAT32.

    Note: Do not try to use GPT for the partition scheme or 0xef (EFI System Partition) for the type, as these are unsupported by the CPU-embedded bootloader.

  • Extract all the files from the archive onto the partition you created above.
    Note that outside of this Readme.md, which you can safely remove, you should not change the name of the extracted files and directories.

  • With recent Linux installs, please assure that the firmware is running in DT mode, either via "Device Manager"->"Raspberry Pi Configuration"->"Advanced Configuration"->"System Table Selection" or the Linux/Grub command line with "acpi=off".

Usage

Insert the SD card/plug the USB drive and power up your Raspberry Pi. You should see a multicoloured screen (which indicates that the CPU-embedded bootloader is reading the data from the SD/USB partition) and then the Raspberry Pi black and white logo once the UEFI firmware is ready.

At this stage, you can press Esc to enter the firmware setup, F1 to launch the UEFI Shell, or, provided you also have copied an UEFI bootloader in efi/boot/bootaa64.efi, you can let the UEFI system run that (which it should do by default if no action is taken).

License

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

The other files at the root of 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.