Kernel/Rebuild/ja

一般的な方法
カーネルの設定を終了し、以下のコマンドを使用してカーネルを再ビルドしてください：

新しくコンパイルされたカーネルイメージをにコピーするのを忘れないでください. 必要ならばをマウントしてください.

必要ならばブートローダを更新する
When not changing kernel versions, it may not be necessary to update the system's boot loader. This depends on the system configuration; if the boot loader is pointed to a replaced binary file with the exact same name, secondary boot loader entries may not need updated. When in doubt re-run the boot loader configuration generator or inspect the boot loader's configuration file to avoid issues the next time the system reboots.

GRUB2を使う
システムを再起動する前に,ブートローダの設定を更新してください. 例えばGRUB2を使用している場合、以下のコマンドを実行してブートローダの設定を更新することができます：

EFIスタブのカーネルを使う
EFIスタブを使用している方は、インストールのセクションにある手順に従ってください.

systemd-boot を使う
If using systemd's EFI bootloader, review the systemd-boot article.

再起動
新しいカーネルの設定を適用するため、再起動します：