Make Debian for Raspberry Pi Build Again

GSoC’2025 | Debian

About

• Organization: Debian
• GSoC contributor: Kurva Prashanth
• Mentor: Gunnar Wolf
• GSoC Entry link: Program Project Page
• wiki.debian.org: Make Debian for Raspberry Pi Build Again
• Debian Salsa: https://salsa.debian.org/krvprashanth

Blog Posts

• Debian Outreach Team Pages - GSoC 2025 Introduction: Make Debian for Raspberry Pi Build Again

The Summary

Git Repositories & Packages

Common software that is on or used for Make Debian for Raspberry Pi Build Again.

• Debian Raspberry Pi Maintainers/web-raspi-img - Web page of the Raspberry images http://raspi.debian.net/
• Debian Raspberry Pi Maintainers/image-specs - Configurable builder used to create the Raspberry Pi images
• Lars Wirzenius/vmdb2 - Creator of disk images with Debian installed
  • Package: vmdb2
• Debian Installer/flash-kernel - Utility to make certain embedded devices bootable
  • Package: flash-kernel
• Debian/u-boot - An open-source boot loader used in embedded systems.
  • Package: u-boot-rpi

Bug reports

Hardware support changes: Filed bug reports to see support for Raspberry Pi Zero 2 W (#1107524), 4 Model B (#1106381), Compute Module 4 (#1108236) and Raspberry Pi 5, 3A+(#1110050) in flash-kernel package.

Merge Requests

In the following table, I present the merge requests (MRs) I created during the GSoC coding period.

Debian Installer / flash-kernel

Debian Raspberry Pi Maintainers / web-raspi-img

Debian / arm-trusted-firmware

Kurva Prashanth / raspi-debian-build-farm

• https://salsa.debian.org/krvprashanth/raspi-debian-build-farm
  • Contains the server-side setup of raspi.debian.net

Kurva Prashanth / raspi-arch-image-specs

• https://salsa.debian.org/krvprashanth/raspi-arch-image-specs
  • Experimental: Building architecture-specific Raspberry Pi Debian images using vmdb2, flash-kernel, and u-boot.