From: ludo@gnu.org (Ludovic Courtès)
To: Danny Milosavljevic <dannym@scratchpost.org>
Cc: guix-devel <guix-devel@gnu.org>
Subject: Re: gnu/system/u-boot.scm
Date: Thu, 28 Jul 2016 14:26:22 +0200 [thread overview]
Message-ID: <87eg6ej6dt.fsf@gnu.org> (raw)
In-Reply-To: <20160727113248.2ee9087c@scratchpost.org> (Danny Milosavljevic's message of "Wed, 27 Jul 2016 11:32:48 +0200")
Hi Danny,
Danny Milosavljevic <dannym@scratchpost.org> skribis:
> On Tue, 26 Jul 2016 22:49:35 +0200
> ludo@gnu.org (Ludovic Courtès) wrote:
>
>> > (u-boot u-boot-configuration-u-boot ; package
>> > (default (@ (gnu packages u-boot) (make-u-boot-package board))))
>>
>> The default value has invalid syntax. Should be simply:
>>
>> (default (make-u-boot-package board))
>>
>> but I think this doesn’t work (‘board’ will be unbound; yeah,
>> counter-intuitive.)
>>
>> You could instead do (default #f) and call ‘make-u-boot-package’ when
>> that value is #f.
>>
>> > (define (eye-candy config root-fs system port)
>> > "dummy"
>> > (mlet* %store-monad ((image #f))
>> > (return (and image
>> > #~(format #$port "")))))
>> >
>>
>> Simply remove it. :-)
>
> Yeah, but there's a
>
> (mlet %store-monad ((sugar (eye-candy config store-fs system #~port)))
>
> in the same file.
>
> Can I remove that and #$sugar , too? Will it still work?
Yes.
> Also, I'm trying to s/grub.cfg/bootloader-configuration-file/g right now, but I wonder
>
> (1) Whether it's possible to determine the basename of the config-file derivation in order to find out what bootloader to install
> (2) Whether we want to do it that way
>
> .
>
> If so, we could have a install-bootloader routine that detects what the filename of the bootloader-configuration-file object is and then calls either install-grub or install-u-boot.
I think we need two separate procedures on the build side:
‘install-grub’, and ‘install-u-boot’.
Choosing between GRUB and U-Boot should happen on the “host side”,
mostly likely in (gnu system).
HTH,
Ludo’.
next prev parent reply other threads:[~2016-07-28 12:26 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-07-21 20:35 gnu/system/u-boot.scm Danny Milosavljevic
2016-07-22 9:59 ` gnu/system/u-boot.scm Chris Marusich
2016-07-22 18:21 ` gnu/system/u-boot.scm Danny Milosavljevic
2016-07-26 20:49 ` gnu/system/u-boot.scm Ludovic Courtès
2016-07-27 9:32 ` gnu/system/u-boot.scm Danny Milosavljevic
2016-07-27 20:29 ` guix bootloader selection - wip patch Danny Milosavljevic
2016-07-28 12:34 ` Ludovic Courtès
2016-07-29 8:21 ` Danny Milosavljevic
2016-08-02 9:49 ` Ludovic Courtès
2016-08-02 9:49 ` Ludovic Courtès
2016-07-28 12:26 ` Ludovic Courtès [this message]
2016-10-06 8:12 ` gnu/system/u-boot.scm Danny Milosavljevic
2016-10-06 17:24 ` gnu/system/u-boot.scm David Craven
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87eg6ej6dt.fsf@gnu.org \
--to=ludo@gnu.org \
--cc=dannym@scratchpost.org \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.