Debian Packages for 64-bit Raspberry Pi Kernels
These debian kernel packages are automatically built weekly by the gitlab shared runners. Thanks GitLab!
The build artifacts contain debs for the kernel image, headers and libc-dev as well as the files to build them yourself.
The GitLab repo is automatically mirrored from the official sources and uses a patched version of the scripts in scripts/package to build the .debs.
If you're just looking for a tarball of the latest kernel build, check out Sakaki's great work here: Pi3 and Pi4
There is now a debian repository for 64-bit kernel packages! Thanks, Bintray! See below.
Latest Builds on GitLab
Raspberry Pi 3 - Latest Build Artifacts
Raspberry Pi 4 - Latest Build Artifacts
Apt Repository hosted by Bintray
Using the command line, add this repo to your /etc/apt/sources.list system config file:
wget -qO - https://bintray.com/user/downloadSubjectPublicKey?username=bintray | sudo apt-key add -
echo "deb https://dl.bintray.com/stiltr/raspberrypi unstable main" | sudo tee -a /etc/apt/sources.list
Packages:
linux-image-rpi4:
linux-image-rpi3:
One-off real-time kernel build:
Pi4 RT 5.4.44
Pi3 RT 5.4.44