Linux kernel packages for Debian's ppc64 distribution

This repository contains builds of the latest Debian stable (bookworm / trixie) Linux kernel for ppc64. Debian doesn't package the stable distribution for ppc64, only the sid and experimental distributions, but even when running sid, having a stable kernel is quite nice as it comes with regular security updates without having to move to a completely different kernel version (which may break things, especially with old hardware).

You can always compile the kernel yourself from sources, but this repository is meant to make life a little bit easier when running Debian sid on ppc64 by having the choice of running the stable kernel if you'd like without having to manually compile each update (which can take quite a while on older ppc64 hardware such as the PowerMac G5).

To use it you have to add the following line to your /etc/apt/sources.list:

deb [signed-by=/usr/share/keyrings/catacombae.gpg] https://sourceforge.net/projects/powerpc-linux-builds/files/debian-ppc64/linux/ main main

Then import my GPG key from the keyserver (if this is not done already):

curl 'https://keyserver.ubuntu.com/pks/lookup?op=get&search=0xcb49184eb54709054a6e4a152adec8bddf66c3ef' | sudo gpg --dearmor -o /usr/share/keyrings/catacombae.gpg

Then you're all set, you can install any of the kernels in this folder, e.g. apt update followed by:

• Debian 13 (trixie) kernel series (6.12):
  apt install linux-kernel-trixie-powerpc64 linux-headers-trixie-powerpc64
• Debian 12 (bookworm) kernel series (6.1):
  apt install linux-kernel-bookworm-powerpc64 linux-headers-bookworm-powerpc64
• Debian 11 (bullseye) kernel series (5.10):
  apt install linux-kernel-bullseye-powerpc64 linux-headers-bullseye-powerpc64

...or a specific kernel, e.g.:
apt install linux-image-6.1.0-40-powerpc64 linux-headers-6.1.0-40-powerpc64