dpkg --list | grep linux-image to find out I have the following kernel versions:
rc linux-image-4.18.0-15-generic 4.18.0-15.16~18.04.1 amd64 Signed kernel image generic rc linux-image-4.18.0-25-generic 4.18.0-25.26~18.04.1 amd64 Signed kernel image generic ii linux-image-5.0.0-23-generic 5.0.0-23.24~18.04.1 amd64 Signed kernel image generic ii linux-image-5.0.0-25-generic 5.0.0-25.26~18.04.1 amd64 Signed kernel image generic ii linux-image-generic-hwe-18.04 22.214.171.124.82 amd64 Generic Linux kernel image
I want to add 4.18.0-25 to grub so that it boots into it by default, but I can't figure out where these kernels are located so that I can add them to grub? How can I do that. Also after I identify where the image files are, do I only need to copy them to /boot run
sudo update-grub? Or is there more I need to do?