On Wed, 2020-09-09 at 20:34 +0200, Seb wrote: > Hi, > > > > > Package: src:linux > > > Version: 4.19.67-2+deb10u2 > > [...] > > This version is 10 months old; please upgrade and try again as the > > bug may have been fixed already. > > OK, I will, but I do not know how to properly upgrade the kernel on a > Debain-stable system (which is up-to-date with respect to "apt upgrade"). > Could you enlighten me and say which kernel version I should try? You should install "linux-image-amd64", if it's not already installed. Also, your APT sources should include both stable and security suites, like this: deb http://deb.debian.org/debian/ buster main deb http://security.debian.org/ buster/updates main If you only enable the security suite you will be missing important updates. Ben. -- Ben Hutchings Life would be so much easier if we could look at the source code.
Attachment:
signature.asc
Description: This is a digitally signed message part