最新のカーネル(4.1)をインストールしましたが、3.9ではなくそのカーネルで起動したいです。 ubuntu 15.04でこれを行うにはどうすればよいですか?
https://help.ubuntu.com/community/Grub2 から
コンピューターの起動中に、どのカーネルgrubがブートするかを変更できます。
コンピューターが起動するとき。
ブート中にSHIFTを押してメニューを表示します。場合によっては、ESCキーを押すとメニューが表示されることもあります。
これで、grubメニューが表示されます。矢印キーを使用して詳細オプションに移動し、起動するカーネルを選択します。
または、ここでubuntuコミュニティのドキュメントをお試しください。 https://help.ubuntu.com/community/Grub2/Setup#Configuring_GRUB_2
これは THIS from nelaarThenからです。そして this post の指示に従ってメニューエントリを修正します。
Grub Customizer をインストールできます:
Sudo add-apt-repository ppa:danielrichter2007/grub-customizer
Sudo apt-get update
Sudo apt-get install grub-customizer
[Grub]メニューのエントリの位置を変更します。これから、デフォルトのエントリとして最新のカーネルを作成することを選択できます。