起動時にカーネルを変更する方法は？

この質問にはすでに回答があります ：ディストリビューションをアップグレードせずにカーネルを最新のメインラインバージョンに更新するにはどうすればよいですか？

（17の回答）
5年前に閉鎖されました。

最新のカーネル（4.1）をインストールしましたが、3.9ではなくカーネルを起動したいと思います。 ubuntu 15.04でこれを行うにはどうすればよいですか？

ベストアンサー

https://help.ubuntu.com/community/Grub2

から

コンピューターの起動時に、どのカーネルgrubを起動するかを変更できます。

コンピューターの起動時。

Shiftキーを押しながら、起動中にメニューを表示します。場合によっては、ESCキーを押してもメニューが表示されることがあります。

これで、グラブメニューが表示されます。矢印キーを使用して詳細オプションに移動し、起動するカーネルを選択します。

または、ここでubuntuコミュニティのドキュメントを試してください。 https://help.ubuntu.com/community/Grub2/Setup#Configure_GRUB_2

これはnelaarによるこの投稿からのものです。次に、この投稿の指示に従ってメニューエントリを修正してください。