Skip to content

Instantly share code, notes, and snippets.

@Callisto13
Created March 1, 2019 16:17
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Callisto13/8fcd2e20606a19ca67a7f2a87a33f570 to your computer and use it in GitHub Desktop.
Save Callisto13/8fcd2e20606a19ca67a7f2a87a33f570 to your computer and use it in GitHub Desktop.

Switching the Kernel

I'm sure there are maaany ways to switch out the ubuntu kernel, here is what I do. Going from 4.4 to 4.10 as an example.

1. Download the kernel version that you're after

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.10/linux-headers-4.10.0-041000_4.10.0-041000.201702191831_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.10/linux-headers-4.10.0-041000-generic_4.10.0-041000.201702191831_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.10/linux-image-4.10.0-041000-generic_4.10.0-041000.201702191831_amd64.deb

2. Install the .debs

sudo dpkg -i *.deb

3. Edit grub conf files to update the version

sed -i 's/4.4.0-137-generic/4.10.0-041000-generic/g' /boot/grub/grub.conf
sed -i 's/4.4.0-137-generic/4.10.0-041000-generic/g' /boot/grub/menu.lst

4. Reboot and ssh

reboot

After a minute or two you can ssh back on and run uname -r to verify your kernel has changed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment