On Thu, 23 Jan 2020 11:48:18 +0100 "Carlos E. R." <robin.listas@telefonica.net> wrote:
On 23/01/2020 11.32, Andrei Borzenkov wrote:
On Thu, Jan 23, 2020 at 1:30 PM Carlos E. R. <> wrote:
| UEFI boot requires that there is a VFAT formated EFI system | partition. This partition should be mounted on /boot/efi and this | is the location where GRUB2 will be installed.
No, /boot/efi does not contain grub.
It does.
Grub is in /boot in all cases.
GRUB consists of multiple parts. At least in case of secure boot grub is completely located on ESP and does not load anything from /boot. Otherwise stage1.5 is in ESP.
Isengard:~ # tree /boot/efi/ /boot/efi/ └── EFI ~ ├── boot ~ │ ├── MokManager.efi ~ │ ├── bootx64.efi ~ │ ├── fallback.efi ~ │ ├── grub.cfg ~ │ └── grub.efi ~ └── opensuse ~ ├── MokManager.efi ~ ├── boot.csv ~ ├── grub.cfg ~ ├── grub.efi
Secure boot
~ ├── grubx64.efi
Non-secure boot
~ └── shim.efi
3 directories, 11 files Isengard:~ #
It does have files in /boot/grub:
Isengard:~ # cat /boot/efi/EFI/opensuse/grub.cfg search --fs-uuid --set=root 0d457df1-b43d-4587-aa5a-6c919bcbedb8 set prefix=(${root})/boot/grub2 source "${prefix}/grub.cfg" Isengard:~ #
And /boot has the normal grub2 files, so I assume it continues from there.
I don't understand why you are flogging this dead horse, Carlos? Markus said "UEFI boot requires that there is a VFAT formated EFI system partition. This partition should be mounted on /boot/efi and this is the location where GRUB2 will be installed." and that is correct (modulo Hongyi's special case of not mounting the ESP). So I don't understand why you said it isn't. And then when Andrei corrected your blunt and incorrect assertion with an equally blunt but correct assertion, you try to disagree with that as well!!? And you try to disagree by changing the subject. Markus didn't say there weren't any grub-related files elsewhere, so they are totally irrelevant to the subject. Why not just do a search and read up on how grub2 works in a UEFI system and accept that you've [re?]learned something? -- To unsubscribe, e-mail: opensuse+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse+owner@opensuse.org