I don't think we need an extlinux and a grub configuration file. But
we can probably improve the decoupling so that we don't need too much
code repetition.
Sorry, I got sidetracked with this. I've been working on rust, inox
(terrible python errors: EOF found but object expected on import,
racecond
Hi,
so now that all of it works, I'd like to propose to change how it's done
completely (muhahaha).
Ludo wrote:
> 2. (gnu system) should dispatch to either ‘grub-configuration-file’ or
> ‘u-boot-configuration-file’ depending on whether the config
> contains a ‘grub-configuration’ or
Hi Danny,
Danny Milosavljevic skribis:
> On Tue, 26 Jul 2016 22:49:35 +0200
> l...@gnu.org (Ludovic Courtès) wrote:
>
>> > (u-boot u-boot-configuration-u-boot ; package
>> >(default (@ (gnu packages u-boot) (make-u-boot-package
>> > board
>>
>> Th
Hi Ludo,
On Tue, 26 Jul 2016 22:49:35 +0200
l...@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. Shoul
Hi!
Danny Milosavljevic skribis:
> below is my (untested!) attempt at an u-boot-configuration for use like this
>
> (bootloader (u-boot-configuration (device "/dev/sda")))
Nice!
> It has been copied from gnu/system/grub.cfg and then I s/grub/u-boot/g and
> removed all the eyecandy stuff as
Hi,
On Fri, 22 Jul 2016 02:59:34 -0700
Chris Marusich wrote:
> I'm not familiar with u-boot, but based on recent emails, it sounds like it's
> important for getting GuixSD to run on ARM.
Yeah, because many ARM platforms don't have a BIOS (or any similar
replacement), the bootloader has to do
Danny Milosavljevic writes:
> Hi,
>
> below is my (untested!) attempt at an u-boot-configuration for use like this
>
> (bootloader (u-boot-configuration (device "/dev/sda")))
Neat! Kudos to you for getting the ball rolling. I'm not familiar with
u-boot, but based on recent emails, it sounds
