UEFI for RaspberryPi2 and RaspberryPi3 based on Linaro EDK2
FreeUEFI firmware for Raspberry Pi 2 and Pi 3
FreeFree tier
About UEFI for RaspberryPi2 and RaspberryPi3 based on Linaro EDK2
RaspberryPi2/3 UEFI is an open source Unified Extensible Firmware Interface (UEFI) firmware for Raspberry Pi 2 and Pi 3, based on Linaro EDK2 release 2015.01. It enables booting of operating systems like Windows 10 IoT Core on Raspberry Pi. The project provides build scripts to generate kernel.img for Pi2, Pi3, or a combined image. It is designed to work with the Raspberry Pi GPU firmware and requires GNU ARM Embedded Toolchain for compilation. Developed by Microsoft IoT (ms-iot), this repository is now archived and read-only.
Key Features
Based on Linaro EDK2 release 2015.01
Supports Raspberry Pi 2 and Raspberry Pi 3
Separate build scripts for Pi2 only, Pi3 only, or combined (Pi2 and Pi3) UEFI
Outputs kernel.img to be placed on SD card for booting
Integrates with Raspberry Pi GPU firmware binaries
Provides build scripts (BuildPi2Board.bat, BuildPi3Board.bat, BuildPi2Pi3Board.bat) for easy compilation
Requires GNU ARM Embedded Toolchain 4.8 series for building
Pros & Cons
Pros
- Free and open source under the BSD license
- Supports both Raspberry Pi 2 and Raspberry Pi 3 models
- Includes build scripts that simplify the compilation process
- Based on industry‑standard UEFI specification (UEFI 2.6)
- References official Windows 10 IoT Core bring‑up documentation
Cons
- Repository is archived as of September 2024 and is now read‑only (no longer maintained)
- Based on a relatively old EDK2 release (2015.01)
- Requires manual setup of GNU ARM Embedded Toolchain and build environment
- Only supports Raspberry Pi 2 and Pi 3 (no support for Pi 4 or later models)
- Documentation and build scripts are tailored to Windows host environments
Best For
Boot Windows 10 IoT Core on Raspberry Pi 2 and Pi 3UEFI firmware development and experimentation for ARM platformsEmbedded system boot firmware for Raspberry Pi based devicesCreating custom UEFI environments for educational or prototyping purposes
FAQ
What is RPi-UEFI?
RPi-UEFI is a UEFI firmware for Raspberry Pi 2 and 3 based on Linaro EDK2 release 2015.01. It allows booting operating systems such as Windows 10 IoT Core on these single‑board computers.
How do I build the firmware?
Clone the repository, install GNU ARM Embedded Toolchain 4.8 series to the expected path (e.g., D:\Toolchains\Arm), then run one of the build scripts (BuildPi2Board.bat, BuildPi3Board.bat, or BuildPi2Pi3Board.bat) from a CMD window. The output kernel.img will be placed in the respective build directory.
Is this project still actively maintained?
No. The repository was archived by the owner on September 26, 2024, and is now read‑only. No further updates or support are expected.