[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to use custom grub?
From: |
Marius Bakke |
Subject: |
Re: How to use custom grub? |
Date: |
Thu, 03 Nov 2016 20:47:06 +0000 |
User-agent: |
Notmuch/0.23.1 (https://notmuchmail.org) Emacs/25.1.1 (x86_64-unknown-linux-gnu) |
Danny Milosavljevic <address@hidden> writes:
> Hi Marius,
>
> yeah, I've noticed that problem, too.
>
> David and I got some steps in the direction of fixing it (for U-Boot support):
>
> The U-Boot support patch generalized this, see my E-Mail to this list,
> subject "[WIP PATCH] gnu: add U-Boot support to operating-system" on 09 Sep
> 2016 at 20:09.
>
> The relevant part is:
> - guix/scripts/system.scm: The "install" routine is changed to also accept
> the bootloader package as argument (variable is called "grub" to keep the
> number of trivial patch chunks low).
> - guix/scripts/system.scm: The new "install-bootloader*" routine is
> introduced instead of "install-grub*" to also accept the bootloader package
> as argument.
>
> If you want you can cherry-pick these changes. I've reconfigured and booted
> with that patch. It works.
Thanks a lot for the fast reply! That patch was really helpful.
I'll try to extract the parts that are relevant for grub-efi support
while keeping other bootloaders in mind. Hoping to largely piggy-back on
the regular grub stuff for grub-efi, as it only needs two extra lines in
grub.cfg and adding "--bootloader-id=GNU" "--efi-directory=<boot-dir>"
to the grub-install command.
signature.asc
Description: PGP signature
- How to use custom grub?, Marius Bakke, 2016/11/03
- Re: How to use custom grub?, Danny Milosavljevic, 2016/11/03
- Re: How to use custom grub?, Ludovic Courtès, 2016/11/04
- Re: How to use custom grub?, Marius Bakke, 2016/11/05
- Re: How to use custom grub?, Danny Milosavljevic, 2016/11/05
- Re: How to use custom grub?, Danny Milosavljevic, 2016/11/07
- Re: How to use custom grub?, Marius Bakke, 2016/11/07
- Re: How to use custom grub?, Danny Milosavljevic, 2016/11/07
- Re: How to use custom grub?, Marius Bakke, 2016/11/07
- Re: How to use custom grub?, Danny Milosavljevic, 2016/11/07
- Re: How to use custom grub?, Ludovic Courtès, 2016/11/08