Raspberry Pi kernel builder

A docker-based, reproducible RPi kernel builder

WARNING: This set of scripts has some limitations. See the TODO list below.

Homepage: https://github.com/mjbogusz/rpi-kernel-builder

Usage

Basic usage (RPi4, regular up-to-date build):

docker run --name=rpi-kernel mjbogusz/rpi-kernel-builder:latest
docker cp "rpi-kernel:/packages" ./

For a 64-bit PREEMPT_RT kernel:

docker run --name=rpi-kernel-rt64 mjbogusz/rpi-kernel-builder:latest --64 --rt
docker cp "rpi-kernel-rt64:/packages" ./

For more options see

docker run mjbogusz/rpi-kernel-builder:latest --help

Building docker image

docker build . --build-arg NO_APT_CACHE=$(date +%s)

TODO:

• support choosing specific commit hashes of the kernel source
• support RPi-s other than RPi4 (TBD: applying RT patches and configs for other Pi-s)
• (nice-to-have) support alternative kernel sources (i.e. other than official RaspberryPi Linux kernel repository)