Addendum<br><br>If you want to list your installed kernels, type ls /boot into a terminal window.<br><br>