On Mon, Mar 2, 2015 at 2:18 AM, German <gentger...@gmail.com> wrote:
>
> On Mon, 2 Mar 2015 02:10:33 -0600
> Canek Peláez Valdés <can...@gmail.com> wrote:
>
> > On Mon, Mar 2, 2015 at 2:03 AM, German <gentger...@gmail.com> wrote:
> > >
> > > On Mon, 2 Mar 2015 01:41:19 -0600
> > > Canek Peláez Valdés <can...@gmail.com> wrote:
> > >
> > > > On Sun, Mar 1, 2015 at 11:11 PM, German <gentger...@gmail.com>
wrote:
> > > > >
> > > > > Out of curiosity I looked into my /boot partition and found two
.efi
> > > > files. One is /boot/efi/gummiboot/gummibootx64.efi and another is
> > > > /boot/efi/boot/bootx64.efi. I remember I've created
> > > > /boot/efi/boot/bootx64.efi during install by copying kernel image
file
> > to
> > > > it and supposedly it was for efibootmng. I think gummiboot has
created
> > its
> > > > own gummibootx64.efi. Is that safe to delete */boot/bootx64.efi?
Thanks
> > > >
> > > > They are the same image; do an md5sum of both, you'll see that they
have
> > > > the same checksum.
> > > >
> > > > I believe Boot/BOOTX64.EFI is the default location where the "BIOS"
(or
> > > > whatever is called in UEFI systems) looks for an image to boot,
> > > > and gummiboot/gummibootx64.efi is just a copy. I'm not sure, but I
would
> > > > not delete it:
> > >
> > > gummiboot creates both copies of the file.
> > >
> > > Well, no, I have created */boot/bootx64.efi manually and
> > */gummiboot/gummibootx64.efi was created by gummiboot install.
> >
> > In my machines boot/bootx64.efi was created by gummiboot, and it's the
same
> > ile as gummiboot/gummibootx64.efi (same checksum).
> >
> > What does bootctl says?
>
> bootctl: command not found. How to use bootctl?
Sorry, my bad; bootctl comes with systemd. I thought it came with gummiboot.
However, "gummiboot status" shows almost the same information. In my case:
Boot Loader Binaries:
ESP: /dev/disk/by-partuuid/b4abf4dc-abfc-45c5-b356-30db1e0b15b3
File: └─/EFI/gummiboot/gummibootx64.efi (gummiboot 45)
File: └─/EFI/Boot/BOOTX64.EFI (gummiboot 45)
Boot Loader Entries in EFI Variables:
Title: UEFI OS
ID: 0x0001
Status: active, boot-order
Partition: /dev/disk/by-partuuid/b4abf4dc-abfc-45c5-b356-30db1e0b15b3
File: └─/EFI/BOOT/BOOTX64.EFI
As you can see, Boot/BOOTX64.EFI is actually gummiboot.
Regards.
--
Canek Peláez Valdés
Profesor de asignatura, Facultad de Ciencias
Universidad Nacional Autónoma de México
