I am simply updating from the official distribution repository. The 5.15.0-40 kernel apparently has become available within the past few days.
Note as mentioned I am running from an installed system and not installation media. I have been able to manage 5.15 series kernels by booting from the 5.13 kernels that had been previously installed.
I am simply updating from the official distribution repository. The 5.15.0-40 kernel apparently has become available within the past few days.
Note as mentioned I am running from an installed system and not installation media. I have been able to manage 5.15 series kernels by booting from the 5.13 kernels that had been previously installed.