Repository files navigation

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

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

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

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

First, follow thegokrazy installation instructions.

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

sudo apt install docker.iosudo addgroup $USER dockernewgrp docker

Clone the kernel git repository:

git clone --depth=1 https://github.com/gokrazy/kernel.rpicd 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. Usegok add . toensure the nextgok build will pick up your changed files.