DietPi_RPi-ARMv8-Bullseye, 8.12.1
Linux podcast-pi 5.15.76-v8+ #1597 SMP PREEMPT Fri Nov 4 12:16:41 GMT 2022 aarch64 GNU/Linux
…Where are this kernel’s sources? Something with apt, or a git checkout?
I need a gpiod.h , apparently, because Ruby + gpio access is a ghost town
We don’t do any kernel development. For RPi we use the official stock RPi kernel that is provided by RPi developer.
apt install raspberrypi-kernel-headers
Respectively the final firmware repo with compiled kernel and bootloader: GitHub - raspberrypi/firmware: This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.