Hi, On Thu, Jun 4, 2026 at 11:12 AM Philippe Delavalade < [email protected]> wrote:
> [...] > How can I progress ? is /boot an uefi partition? something like this: Is /boot is configured as a UEFI partition, something as follows: ``` $ mount | grep boot /dev/nvme0n1p1 on /boot type vfat (rw,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=ascii,shortname=mixed,utf8,errors=remount-ro) $ sudo parted /dev/nvme0n1 print [...] Number Start End Size File system Name Flags 1 1049kB 538MB 537MB fat32 boot, esp 2 538MB 512GB 512GB ``` Confirm the existence of the GRUB UEFI boot entry by running efibootmgr: ``` $ efibootmgr ``` If the entry is missing, you can create one using a command like the following: ``` efibootmgr -c -d /dev/nvme0n1 -p 5 -L GRUB -l '\EFI\GRUB\grubx64.efi' ``` Best, /m
