-
Backup your system using
rescuezillaor other tools, if you can't access the grub menu to choose the kernel when booting. -
Check your board famlily:
uname -r
-
Download corresponding kernel debs from Releases.
-
Extract debs and install:
tar -xvf <downloaded_kernel_pkg.tar> dpkg -i linux-*.deb
-
Reboot your machine.
Method 1: Choose the previous kernel in grub menu when booting.
Method 2: Restore your system if you have a backup.
Note Make sure you have clicked
Show all assetson the releases page.
If you don't find the kernel you need in the list, open an issue to submit your request.