7でカーネルをビルドする機会があったので、デフォルトのカーネルを変更する方法をメモしておきます。テキストエディタでgrub.cfgを編集するものだとすっかり思い込んでたのでしばらくgrub.cfgをじーーっと眺めてたのですが、調べてみたところ準備されているgrub2-set-defaultコマンドで変更できます。手順は下記の通りです。カーネル周りの設定を変更する際は変更後の再起動に失敗する恐れもありますので、十分注意して下さい。(Core)に変更する場合は下記の通りです。カーネルのリストが0(ゼロ)から始まっている点に気をつけて下さい。再起動して確認する再起動してログインすると、下記のように指定したカーネルになっていることが確認できると思います。requestStockLike33@kjtanaka好きなお菓子は芋けんぴです。upLoginユーザーは見つかりませんでした。