This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.
NEW: Complete infrastructure for running Windows 11 ARM64 on Raspberry Pi!
Have a Windows 11 ARM64 ISO? Create bootable media in minutes:
# 1. Mount your Windows ARM ISO (double-click or):
Mount-DiskImage -ImagePath "Win11_ARM64.iso"
# 2. Run the automated extractor:
cd raspberrypi-firmware
.\tools\windows\extract-windows-arm-boot.ps1 -AutoDetectISO -DestinationPath E:\ -PiModel Pi4
# Done! Copy to SD card and boot your PiWhat it does:
- ✅ Auto-detects mounted Windows ISO
- ✅ Downloads latest Pi UEFI firmware
- ✅ Extracts Windows boot files
- ✅ Creates optimized config.txt
- ✅ Complete bootable media in ~10 minutes
Press ESC during boot to access the built-in UEFI menu!
- ✅ Automated Boot Media Creation - One command creates bootable media
- ✅ UEFI Firmware Auto-Updates - GitHub Actions monitors and updates UEFI
- ✅ Hardware Compatibility Checker - Validates your Pi before installation
- ✅ Driver Management System - Automated driver installation
- ✅ Optimized Configurations - Pi 4 and Pi 5 specific configs
- ✅ Comprehensive Documentation - Beginner to advanced guides
# 1. Create boot media (on Windows PC)
cd raspberrypi-firmware
.\tools\windows\create-windows-boot-media.ps1 -DriveLetter "E:" -PiModel "Pi4"
# 2. Boot your Raspberry Pi and install Windows
# (See full guide for details)
# 3. Install drivers after Windows setup
.\tools\windows\install-drivers.ps1| Tool | Purpose | Complexity | Time |
|---|---|---|---|
| extract-windows-arm-boot.ps1 | Extract from Windows ARM ISO ⭐ | ⭐☆☆☆☆ | 10-15 min |
| create-windows-boot-media.ps1 | Alternative automated creator | ⭐⭐☆☆☆ | 20-30 min |
| check-compatibility.ps1 | Hardware compatibility checker | ⭐☆☆☆☆ | 1-2 min |
| install-drivers.ps1 | Driver installation automation | ⭐⭐☆☆☆ | 10-15 min |
- 📖 Setup Guide - Complete installation walkthrough (start here!)
- 📖 UEFI Boot Menu Guide - Navigate UEFI, dual-boot setup
- 📖 BIOS Menu Analysis - Menu system options explained
- 📖 Quick Reference - One-page cheat sheet
- 📖 Technical Analysis - Architecture details
- 📖 UEFI Firmware Guide - UEFI download and setup
- 📖 Driver Information - Driver status and alternatives
- config-pi4-windows.txt - Optimized for Raspberry Pi 4
- config-pi5-windows.txt - Optimized for Raspberry Pi 5
What Works: CPU, RAM, USB, Ethernet, Display (basic), SD/USB storage
What Doesn't: Wi-Fi, Bluetooth, GPU acceleration, Analog audio, GPIO
Performance: 2-3x slower than Linux, expect basic usability only
Supported Models:
- ✅ Raspberry Pi 4 (4GB+ RAM recommended)
⚠️ Raspberry Pi 5 (experimental, early BCM2712C1 only)⚠️ Raspberry Pi 3 (not recommended, too slow)
See documentation for full compatibility details and workarounds.
A rough guide to this repository and the licences covering its contents is below (check the appropriate directories for more specific licence details):
- boot:
- start*.elf, fixup*.dat and bootcode.bin are the GPU firmwares and
bootloader. Their licence is described in
boot/LICENCE.broadcom. - The kernel.img files are builds of the Linux kernel, released under the GPL
(see
boot/COPYING.linux) - The dtbs, overlays and associated README are built from Linux kernel
sources, released under the GPL (see
boot/COPYING.linux) - boot/uefi: UEFI firmware for Windows on ARM support (see UEFI README)
- start*.elf, fixup*.dat and bootcode.bin are the GPU firmwares and
bootloader. Their licence is described in
- extra: System.map files for the provided kernel builds (
boot/COPYING.linux), and dt-blob.dts (boot/LICENCE.broadcom) - modules: pre-built modules for kernel.img (
boot/COPYING.linux) - tools: Helper scripts for Linux and Windows
- docs: Documentation for various use cases
- drivers: Kernel modules (Linux) and Windows ARM64 drivers (experimental)