gokrazy kernel: Raspberry Pi Linux for the Raspberry Pi

This repository holds a pre-built Linux kernel image for the Raspberry Pi 3, Pi 4, Pi 5 and Pi Zero 2 W, used by the gokrazy project.

The files in this repository are picked up automatically by the gok tool, so you don’t need to interact with this repository unless you want to update the kernel to a custom version.

gokrazy kernel repository map

repository	source	devices
gokrazy/kernel.rpi	Raspberry Pi	Pi 3, Pi 4, Pi 5, Pi Zero 2 W
gokrazy/kernel	kernel.org	Pi 3, Pi 4, Pi Zero 2 W
gokrazy/kernel.amd64	kernel.org	PC x86_64, VMs
gokrazy/kernel.arm64	kernel.org	PC arm64, VMs

Cloning the kernel repository

This repository clocks in at over 3 GB of disk usage, so you might want to clone it as a shallow clone:

git clone --depth=1 https://github.com/gokrazy/kernel.rpi

Updating the kernel

First, follow the gokrazy installation instructions.

We’re using docker to get a reproducible build environment for our kernel images, so install docker if you haven’t already:

sudo apt install docker.io
sudo addgroup $USER docker
newgrp docker

Clone the kernel git repository:

git clone --depth=1 https://github.com/gokrazy/kernel.rpi
cd kernel.rpi

Install the kernel-related gokrazy tools:

GOBIN=$PWD/_build go install github.com/gokrazy/autoupdate/cmd/gokr-rebuild-kernel@latest

And build a new kernel (takes about 5 minutes):

(cd _build && ./gokr-rebuild-kernel -cross=arm64 -flavor=raspberrypi)

The new kernel is stored in the working directory. Use gok add . to ensure the next gok build will pick up your changed files.