On 10 Dec 2023, at 02:37, Andy Smith via BitFolk Users <users(a)mailman.bitfolk.com> wrote: Too late for me, unfortunately. I usually wait when a new kernel is released but didn’t this time, given it was part of the update to 12.3. However, as soon as I saw a warning (about 30 minutes later) I rebooted into the previous kernel and set it to the default. For anybody else in the same position (and with the default Debian 12 grub settings) you can do this by editing /etc/default/grub and setting GRUB_DEFAULT=“1>Debian GNU/Linux, with Linux 6.1.0-13-amd64” and running update-grub This assumes that your kernel was up to date prior to installing the 12.3 update. If not, you’ll have to find the latest one installed. If not, you can find the latest installed with grep “menuentry “ /boot/grub/grub,cfg This has worked for me and there will probably be an easier way of reverting, but this is what I’ve done in the past when a new kernel has had an issue. Regards, Mike

On Tue, 12 Dec 2023, at 07:21, Robin Phillips via BitFolk Users wrote: Hi Robin, I think it already had been? See https://www.debian.org/News/2023/20231210 Cheers, jmi -- Jamie MacIsaac https://jamie.macisa.ac/

Thanks. I thought it would get fixed quickly, but the bug didn't seem to be marked as fixed. Maybe I just misread it 🙄 Robin On 12 December 2023 07:59:07 GMT, Mike Zanker via BitFolk Users <users(a)mailman.bitfolk.com> wrote: