第2章 実行する RHEL カーネルの指定
起動中に GRUB メニューで必要なカーネルを手動で選択すると、インストールされている任意のカーネル (標準または Real Time) で起動できます。デフォルトで起動するカーネルを設定することも可能です。
RHEL for Real Time カーネルがインストールされると、自動的にデフォルトのカーネルに設定され、次回の起動時に使用されます。
2.1. デフォルトのカーネルの表示
デフォルトで起動するように設定されたカーネルを表示できます。
手順
デフォルトのカーネルを表示するには、以下のコマンドを実行します。
grubby --default-kernel
# grubby --default-kernel /boot/vmlinuz-6.12.0-89.el10_0.x86_64+rt
Copy to Clipboard Copied! コマンドの出力の
+rt
は、デフォルトのカーネルがリアルタイムカーネルであることを示しています。