Ubuntuのカーネル操作関連について
#現在のカーネルのバージョンの確認
uname -a
#インストールされているカーネルの確認
dpkg -l | grep linux-image
#カーネルのインストール
インストール可能なカーネルの確認
apt-cache search linux-image
目的のバージョンのカーネルがない場合は下記を行ってから再度確認
sudo apt-get update
sudo apt-get upgrade
目的のカーネルのインストール
sudo apt-get install linux-image-{目的のバージョン}
インストール後に再起動
#カーネルを変更して固定
アップデート等で意図せずカーネルが変更されないように固定する
方法は下記の2通り（どちらかのみで有効）
##その1
/etc/cat/preferences.d/linux-kernelを作成し、書き込むやり方
何らかのエディタから/etc/cat/preferences.d/linux-kernelを開いて編集する
rootファイルのため編集にはsudoが必須
sudo gedit /etc/cat/preferences.d/linux-kernel
内容を編集
下記はカーネルを4.15.0-76-genericにした時の例
-（ハイフン）が.（ドット）になっていることに注意
/etc/apt/preferences.d/linux-kernel
Package: linux-generic
Pin: version 4.15.0.76
Pin-Priority: 1001
Package: linux-headers-generic
Pin: version 4.15.0.76
Pin-Priority: 1001
Package: linux-image-generic
Pin: version 4.15.0.76
Pin-Priority: 1001
##その2
grubを編集する
こっちの方法は少しややこしい
/etc/default/grubをroot権限で開く
sudo gedit /etc/default/grub
ファイル内にあるGRUB_DEFAULTを書き換える
下記はカーネルを4.15.0-76-genericにした時の例
# GRUB_DEFAULT=0
GRUB_DEFAULT="gnulinux-advanced-XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX>gnulinux-4.15.0-76-generic-advanced-XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX"
XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXXの部分は前後とも共通
その内容は/boot/grub/grub.cfg内にあるdvanced options for Ubuntuのmenuentry_id_optionを調べる