For some reason, the headers for 5.4.0-42
weren't installed by apt automatically. (I did the original offending kernel update as part of a prompt from the "Software Updater" GUI.)
Installing the headers with:
sudo apt install linux-headers-5.4.0-42-generic
caused apt to automatically recompile the nvidia kernel module for the new kernel. After a reboot to the new kernel, everything just worked.
I'm not sure why headers weren't installed automatically (I believe they usually are?). Perhaps there is a problem with the apt package for the new kernel? (It was released 2 days ago as of this post.)
This happened on the 20.04 Focal release.
Update:
Per the comments below, the linux-headers-generic
metapackage (and the linux-generic
metapackage) was not installed on my system. It looks like they were removed on the day that I upgraded to Focal. It happened around the time of removing an old Nvidia driver.
linux-headers-generic
is not installed for some reason. – Pilot6 Jul 22 '20 at 13:05linux-headers-generic
was not installed. Looking at /var/log/dpkg.log, it looks like it was removed on the day I upgraded to Focal. (I certainly did not remove it on purpose). Log here: https://gist.github.com/joelrbrandt/9c324d1d1192e6c8098f4e789c99affe – Joel Brandt Jul 22 '20 at 13:16