I am running an image that's running on several amd64 servers and on a brand new RPI4.
One of the things that's needed are the kernel headers.
The image is being pulled is
FROM debian:stable-slim. On Debian this command works fine
apt-get install -y linux-headers-$(uname -r) but that doesn't work on Raspbian.
I could modify the script to install
raspberrypi-kernel-headers instead -- but that's not available on Debian.
What would be the best way to install RPi kernel headers in a Debian container?