raspberry-pi-os: Docker base image for Raspberry Pi OS

For Raspberry Pi OS, AKA Raspbian AKA RPi.

SUMMARY

Raspberry Pi supports embedded development.

Docker supports cloud development.

¿Por qué no los dos?

EXAMPLE

% docker run --rm --platform linux/arm64 n4jm4/raspberry-pi-os raspinfo
No GPIO chips found

Docker containers don't normally feature embedded hardware like GPIO pins! But we can still test a lot of functionality, such as ARM compatibility for general applications.

% docker run --rm --platform linux/arm64 -it n4jm4/raspberry-pi-os bash

# apt update
# apt install -y file gcc

# printf "#include <stdio.h>\nint main(){ printf(\"Hello World\\\n\"); return 0; }\n" >hello.c

# cat hello.c
#include <stdio.h>
int main(){ printf("Hello World\n"); return 0; }

# gcc -o hello hello.c

# file hello
hello: ELF 64-bit LSB pie executable, ARM aarch64, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, BuildID[sha1]=b4b84ec877bfaea87e511fda2f0dca6f1effd947, for GNU/Linux 3.7.0, not stripped

# ./hello
Hello World

INSTALL

docker pull n4jm4/raspberry-pi-os

For more details on developing Raspberry Pi OS images, see our development guide.

Images

Raspberry Pi OS identifies versions by Debian base distribution.

Distribution	Tags
trixie	trixie, latest
bookworm	bookworm

Platforms

Here, linux/arm64 is the premier Docker platform for ARM projects. Though Raspberry Pi OS also supports other architecture as well, for developer convenience.

• linux/386
• linux/amd64
• linux/amd64/v2
• linux/arm/v7
• linux/arm64

RUNTIME REQUIREMENTS

• Docker 28.0.1+

Recommended

• a UNIX-like environment (e.g. WSL)

SEE ALSO

• Raspberry Pi for Dummies, an approachable book for people who like to tinker
• raspberrypi-os-docker, an earlier Docker image
• mcandre/rockhopper, a multiplatform package generator
• mcandre/tuggy, an automated Docker multiplatform image builder

🍇