64-bit Tiano Core UEFI for the Raspberry Pi 3

Free

64-bit Tiano Core UEFI for Raspberry Pi 3/3B+

FreeFree tier

Type

Open Source

Visit Website GitHub (40 stars)

About 64-bit Tiano Core UEFI for the Raspberry Pi 3

This repository provides a port of 64-bit Tiano Core UEFI firmware for the Raspberry Pi 3 and 3B+ platforms, based on Ard Bisheuvel's 64-bit and Microsoft's 32-bit implementations. It is designed as a general-purpose 64-bit ATF (ARM Trusted Firmware) + UEFI implementation, enabling booting of real operating systems. The firmware has been validated with Linux (SUSE, Ubuntu), NetBSD, FreeBSD, and offers experimental 64-bit Windows on Arm support. It was used as an early development platform for NetBSD's 64-bit Arm UEFI bootloader and for demonstrating VMware ESXi-Arm on the Pi. The project is mostly EBBR compliant. Note: This repository is deprecated and has been upstreamed to the main TianoCore edk2-platforms repository.

Key Features

64-bit UEFI firmware for Raspberry Pi 3/3B+

Based on Ard Bisheuvel's 64-bit and Microsoft's 32-bit implementations

Includes ARM Trusted Firmware (ATF) support

Validated with Linux (SUSE, Ubuntu), NetBSD, FreeBSD

Experimental 64-bit Windows on Arm support

Used for NetBSD UEFI bootloader development and VMware ESXi-Arm demonstration

EBBR compliant with focus on user experience

Upstreamed to TianoCore edk2-platforms (official repository)

Pros & Cons

Pros

Enables 64-bit UEFI boot on Raspberry Pi 3/3B+
Validated with multiple popular operating systems
Open source and free to use
Upstreamed to official TianoCore tree for continued development
EBBR compliant for standard firmware behavior

Cons

Deprecated in this repository; no further updates here
Windows on Arm support is experimental and not fully stable
Limited to Raspberry Pi 3 and 3B+ (no Pi 4 support)
Last updated in February 2019, may lack newer features

Best For

UEFI firmware development and testing on Raspberry Pi 3/3B+Running 64-bit operating systems on Raspberry Pi 3/3B+Educational platform for understanding UEFI and ATF on ArmBootloader development for 64-bit Arm systemsExperimental Windows on Arm deployment on Raspberry Pi

FAQ

What is the purpose of this project?

To provide a 64-bit UEFI firmware for the Raspberry Pi 3/3B+ that can boot various operating systems, including Linux, NetBSD, FreeBSD, and experimental Windows on Arm.

Is this project still maintained?

No, the repository is deprecated. The code has been upstreamed to the TianoCore edk2-platforms repository for continued development.

Which operating systems are supported?

Linux (SUSE, Ubuntu), NetBSD, FreeBSD, and experimental (64-bit) Windows on Arm have been validated.

What hardware does this firmware support?

The firmware is specifically for the Raspberry Pi 3 and 3B+ models.

Is this compatible with UEFI on Arm standards?

The firmware is mostly EBBR compliant, prioritizing user experience over strict compliance where the two conflict.