Re: GuixSD on ARM

2016-09-11 Thread Andreas Enge
On Mon, Aug 15, 2016 at 03:14:14PM -0500, Christopher Allan Webber wrote: > Eric Bavier writes: > > I've signed up for the Libre Tea and the desktop enclosure, so I'll be > > playing with the GuixSD support in the coming days/weeks/months. I'm > > looking forward to working with other backers here

Re: GuixSD on ARM

2016-08-15 Thread Christopher Allan Webber
Eric Bavier writes: > On Wed, 13 Jul 2016 08:55:23 +0200 > Ricardo Wurmus wrote: > >> Hi Daniel, >> >> > I'd like GuixSD on ARM plataform, for instance Libre Tea Computer Card >> > or other ARM libre plataform. >> > >> > I buy a Libre Tea Computer Card: >> > - https://www.crowdsupply.com/eoma68

Re: ARM: Installation and Booting; was: Re: GuixSD on ARM;

2016-07-19 Thread Danny Milosavljevic
Hi, > Also I think the same file as u-boot is the right place for it > [device-tree-compiler]. device-tree-compiler is actually needed for all kernels on embedded. Embedded devices don't have a BIOS and so you have to have some kind of hardware description in order to be able to even boot. The

Re: GuixSD on ARM

2016-07-18 Thread Eric Bavier
On Wed, 13 Jul 2016 08:55:23 +0200 Ricardo Wurmus wrote: > Hi Daniel, > > > I'd like GuixSD on ARM plataform, for instance Libre Tea Computer Card > > or other ARM libre plataform. > > > > I buy a Libre Tea Computer Card: > > - https://www.crowdsupply.com/eoma68/micro-desktop > > - http://retro

Re: ARM: Installation and Booting; was: Re: GuixSD on ARM;

2016-07-14 Thread Andreas Enge
Hi Danny, thanks for your insightful comments and starting work on uboot! On Wed, Jul 13, 2016 at 11:11:36AM +0200, Danny Milosavljevic wrote: > If you do use SATA, you still need to put U-Boot on SD or the Flash. U-Boot > has SATA support so it can load Grub etc from the hard drive. Their argu

Re: ARM: Installation and Booting; was: Re: GuixSD on ARM;

2016-07-14 Thread Efraim Flashner
On Thu, Jul 14, 2016 at 12:22:13AM +0200, Danny Milosavljevic wrote: > Work-in-progress gnu/packages/u-boot.scm : > > ;;; GNU Guix --- Functional package management for GNU > ;;; Copyright © 2016 Danny Milosavljevic > ;;; > ;;; This file is part of GNU Guix. > ;;; > ;;; GNU Guix is free software;

Re: ARM: Installation and Booting; was: Re: GuixSD on ARM;

2016-07-13 Thread Danny Milosavljevic
Work-in-progress gnu/packages/u-boot.scm : ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2016 Danny Milosavljevic ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or modify it ;;; under the terms of the GNU General Publ

Re: GuixSD on ARM

2016-07-13 Thread Ludovic Courtès
Hi, Ricardo Wurmus skribis: >> I'd like GuixSD on ARM plataform, for instance Libre Tea Computer Card >> or other ARM libre plataform. >> >> I buy a Libre Tea Computer Card: >> - https://www.crowdsupply.com/eoma68/micro-desktop >> - http://retro-freedom.nz/blog/2016/06/30/eoma68-my-dream-machin

ARM: Installation and Booting; was: Re: GuixSD on ARM;

2016-07-13 Thread Danny Milosavljevic
On Wed, 13 Jul 2016 08:55:23 +0200 Ricardo Wurmus wrote: > It would be very nice to be able to use GuixSD on the EOMA68. Alas, I > don’t have an overview on what work needs to be done to get there. First, we'd need to get it to boot. For example for the Allwinner A20 board: Allwinner A20 boot

Re: GuixSD on ARM

2016-07-12 Thread Ricardo Wurmus
Hi Daniel, > I'd like GuixSD on ARM plataform, for instance Libre Tea Computer Card > or other ARM libre plataform. > > I buy a Libre Tea Computer Card: > - https://www.crowdsupply.com/eoma68/micro-desktop > - http://retro-freedom.nz/blog/2016/06/30/eoma68-my-dream-machine/ I’m also very excite