7
GRUBでデフォルトカーネルを設定する
GRUB2がデフォルトでロードするカーネルを選択するにはどうすればよいですか?最近、Linuxリアルタイムカーネルをインストールしましたが、現在はデフォルトでロードされます。デフォルトで通常のものをロードしたいです。 これまでのところ、デフォルトのOSしか選択できませんでした。何らかの理由で/boot/grub.cfg、rt-kernelをロードし、汎用Linuxメニューエントリ(私の場合はArch Linux)に入れたいと既に仮定しています。