I honestly have never needed to change a kernel. The default have always worked for me. I just know you can. I have never used the kernel GUI changer in the update manager but maybe it is broken. Did you use that? I think that you can load kernels into the kernel folder and then choose from them at boot up from the grub menu?
Yes i did use that- didn’t work- I coulda tried more kernals, but didn’t want the hassel incase they didn’t work too-
[[I think that you can load kernels into the kernel folder and then choose from them at boot up from the grub menu?]]
Cool- didn’t know that- i will have to try it- if one is messed up can just remove the kernal from the folder then- i think-