From gentoo-user  Mon Apr 17 13:31:11 2023
From: Nikos Chantziaras <realnc () gmail ! com>
Date: Mon, 17 Apr 2023 13:31:11 +0000
To: gentoo-user
Subject: [gentoo-user] Re: updating /boot directory EFI
Message-Id: <u1jhmv$1k2$1 () ciao ! gmane ! io>
X-MARC-Message: https://marc.info/?l=gentoo-user&m=168173823210982

On 16/04/2023 21:44, Wol wrote:
> On 16/04/2023 15:22, Nikos Chantziaras wrote:
>> On 16/04/2023 07:01, thelma@sys-concept.com wrote:
>>> After installing new kernel how to update /boot EFI directory?
>>
>> You don't need to. You only need to do that when you want to reinstall 
>> GRUB itself into the EFI partition. The kernel is installed in /boot, 
>> not into the EFI partition.
>>
> And if grub isn't installed?

It is.


> Basically you have a choice. Install grub into EFI, and use grub as your 
> boot manager. Or ditch grub (the recommended route) and use EFI as your 
> boot manager.

EFI can't boot my ISO images (sysrescuecd and memtest86+.)