Re: Guix with U-Boot

2016-08-29 Thread Danny Milosavljevic
On Mon, 29 Aug 2016 20:56:53 +0200 David Craven wrote: > FYI your editor is using dos style /n/r newlines. Don't know if that > is your intention. Are you on windows? O.O xD Thanks for the heads-up! No, it's nano on GuixSD. (Guile emacs on Guix broke a long time ago and while there was a worka

Re: Guix with U-Boot

2016-08-29 Thread David Craven
FYI your editor is using dos style /n/r newlines. Don't know if that is your intention. Are you on windows? O.O xD On Mon, Aug 29, 2016 at 8:20 PM, David Craven wrote: >> Note: It should infer the correct u-boot to use on its own - at least that's >> the intention with the whole make-u-boot-pack

Re: Guix with U-Boot

2016-08-29 Thread David Craven
> Note: It should infer the correct u-boot to use on its own - at least that's > the intention with the whole make-u-boot-package thing. Did you see the updated u-boot patch? It includes support for cross-compilation, so make-u-boot-package takes a xgcc package and a target triplet as arguments.

Re: Guix with U-Boot

2016-08-29 Thread Danny Milosavljevic
If I forgot any other things, see my working copy http://www.scratchpost.org/software/Guix/guix.tar.gz - warning: there be dragons. The existing files that I touched for U-Boot are: ./gnu/build/vm.scm ; initialize-hard-disk has a key #:grub.cfg ./gnu/build/install.scm ; actual invocation of gru

Re: Guix with U-Boot

2016-08-29 Thread Danny Milosavljevic
On Mon, 29 Aug 2016 19:52:23 +0200 Danny Milosavljevic wrote: > > > (bootloader (u-boot-configuration > > >(board "vexpress_ca9x4") > > >(device "/dev/sdX") > > >(u-boot armhf-linux-uboot))) > > Note: It should infer the correct u-boot to use

Re: Guix with U-Boot

2016-08-29 Thread Danny Milosavljevic
> > (bootloader (u-boot-configuration > >(board "vexpress_ca9x4") > >(device "/dev/sdX") > >(u-boot armhf-linux-uboot))) Note: It should infer the correct u-boot to use on its own - at least that's the intention with the whole make-u-boot-packag

Re: Guix with U-Boot

2016-08-29 Thread Danny Milosavljevic
On Mon, 29 Aug 2016 18:51:45 +0200 David Craven wrote: > So I think that dtc and uboot are good now, I'll give it a few days > before merging... > > I'm getting an Unbound variable: error :/ > > Here's my bootloader configuration. Any suggestions? =) > > (bootloader (u-boot-configuration >

Re: Guix with U-Boot

2016-08-29 Thread Danny Milosavljevic
On Mon, 29 Aug 2016 18:51:45 +0200 David Craven wrote: > So I think that dtc and uboot are good now, I'll give it a few days > before merging... > > I'm getting an Unbound variable: error :/ > > Here's my bootloader configuration. Any suggestions? =) > > (bootloader (u-boot-configuration >

Re: Guix with U-Boot

2016-08-29 Thread David Craven
So I think that dtc and uboot are good now, I'll give it a few days before merging... I'm getting an Unbound variable: error :/ Here's my bootloader configuration. Any suggestions? =) (bootloader (u-boot-configuration (board "vexpress_ca9x4") (device "/dev/sdX")

Re: Guix with U-Boot

2016-08-29 Thread Danny Milosavljevic
On Mon, 29 Aug 2016 16:12:00 +0200 David Craven wrote: > Mhmm so I'm trying your patches and I get a no code for gnu system > u-boot. The file seems to be missing from the patches? Attached gnu/system/u-boot.scm . (Don't worry, once the branch is up, I'll diff with what I have here :) ) ;;; GNU

Re: Guix with U-Boot

2016-08-29 Thread David Craven
Mhmm so I'm trying your patches and I get a no code for gnu system u-boot. The file seems to be missing from the patches?

Re: Guix with U-Boot

2016-08-29 Thread David Craven
> If merging is deemed too risky, would it be possible to create a > "wip-u-boot" branch on Savannah instead? - it seems that is > how these bigger changes are handled. Then I could push the > U-Boot parts there. I'll collect your patches and do that. That should make it easier to test. (I'm not q

Guix with U-Boot

2016-08-29 Thread Danny Milosavljevic
Hi, On Sun, 28 Aug 2016 14:28:31 +0200 David Craven wrote: > Thanks for your suggestions. I pushed the packages. > > Is there a git repo somewhere I can pull your uboot stuff from? I'd > like to test it =) There's no such repo right now. I'd prefer merging into master soon to creating a fork