15장. Installing Kernel-64k on ARM by using the command line

Procedure

1. Open the terminal as the root user, and enter:

   # dnf -y install kernel-64k

2. To set the kernel-64k as default, enter:

   # k=$(echo /boot/vmlinuz*64k)
   # grubby --set-default=$k \
              --update-kernel=$k \
              --args="crashkernel=2G-:640M"

3. Set the system boot order to use RHEL as the default option.

   1. Obtain the current boot order. For example:

      # efibootmgr
      BootCurrent: 0000
      Timeout: 5 seconds
      BootOrder: 0003,0004,0001,0000,0002,0005
      Boot0000\* Red Hat Enterprise Linux

   2. Set the boot order to prioritize RHEL. For example, for the output in the previous step, use the following command:

      # efibootmgr -o 0000,0001,0002,0003,0004,0005

4. Reboot the system:

   # reboot

5. Optional: After reboot, remove the 4k kernel:

   # dnf remove kernel-core

   Keeping both versions accidentally can make the 4k kernel default when you update the kernel in future using the yum update command.