Skip to content

Instantly share code, notes, and snippets.

View korantu's full-sized avatar

Konstantin Levinski korantu

  • NEC
  • Singapore
  • 10:18 (UTC -12:00)
View GitHub Profile
@chaiyujin
chaiyujin / ubuntu_update_booting_kernel.md
Created December 8, 2020 12:42
Ubuntu: Install Kernel and Set GRUB Default Kernel

Ubuntu: Install Kernel and Set GRUB Default Kernel

Install Kernel

Install the default kernel:

sudo apt install linux-generic

Set GRUB Default Kernel

  1. Find entrance from /boot/grub/grub.cfg
    • Get the $menuentry_id_option: