Hi Seb, Seb wrote on 20/11/2025 10:00: <snip>
Also, I did not find out how to install the kernel from sid (if that's a good idea). How can I do that?
first, could you show us the content of your `/etc/apt/preferences` and `/etc/apt/sources.d/debian.sources` (or `/etc/apt/sources.list`)?
And please show the output of the command `apt-cache policy`. Regards, Jörg