Kernel Source code?

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.