How to fix grub with EFI Boot

If for any reason, the RebornOS boot is lost in an EFI computer, we will indicate the procedure to follow.

This is based on the following disk partitioning:


In this example, we will make use of the Arch installation ISO (which can be downloaded by clicking here ).

The procedure is as follows (all commands must be entered into the terminal as root):

mount /dev/sda2 /mnt
mount /dev/sda1 /mnt/boot/efi
arch-chroot /mnt
grub-mkconfig -o /boot/grub/grub.cfg
grub-install --target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=RebornOS --recheck
umount -R /mnt

Here the computer restarts, and RebornOS should run smoothly.