Hi!
In order to compile some MIDI drivers I need to download the source package for 4.19.71-rt24-v7l+.
This does not work with the expected commands however, see below:
**patch@patchbox:~ $ more /etc/apt/sources.list**
deb http://raspbian.raspberrypi.org/raspbian/ buster main contrib non-free rpi
# Uncomment line below then 'apt-get update' to enable 'apt-get source'
deb-src http://raspbian.raspberrypi.org/raspbian/ buster main contrib non-free rpi
**patch@patchbox:~ $ sudo apt-get update**
Hit:1 http://apt.blokas.io rpi InRelease
Hit:2 http://archive.raspberrypi.org/debian buster InRelease
Hit:3 https://apt.syncthing.net syncthing InRelease
Hit:4 http://raspbian.raspberrypi.org/raspbian buster InRelease
Get:5 http://raspbian.raspberrypi.org/raspbian buster/main Sources [11.4 MB]
Get:6 http://raspbian.raspberrypi.org/raspbian buster/non-free Sources [139 kB]
Get:7 http://raspbian.raspberrypi.org/raspbian buster/contrib Sources [78.5 kB]
Get:8 http://raspbian.raspberrypi.org/raspbian buster/rpi Sources [1132 B]
Fetched 11.6 MB in 11s (1021 kB/s)
Reading package lists... Done
**patch@patchbox:~ $ sudo apt-get source linux-image-$(uname -r)**
Reading package lists... Done
E: Unable to find a source package for linux-image-4.19.71-rt24-v7l+
Crossing my fingers that someone in this forum has some hint on how I can can download the source package.