Re: Porting GuixSD to ARM article.

Hello, On Tue, Jan 23, 2018 at 10:23:50AM +0100, Mathieu Othacehe wrote: > > Notice that the last section of the blog post does not solve the problem: > > As I realised by trial and error when trying to use a disk-image for a > > virtual machine, it really is only an installation-image,

Re: Porting GuixSD to ARM article.

Hi Ricardo, On Tue, 23 Jan 2018 12:51:28 +0100 Ricardo Wurmus wrote: > Can we automate these steps so that we have only a single image but > customized loader scripts per target? Difficult to say. What would run the loader script?

Re: Porting GuixSD to ARM article.

Mathieu Othacehe writes: >> We could ship the generic ARM image, let the user use >> qemu-system-arm to boot it and set up the correct u-boot in >> there, and only then write it to SD card. >> >> There could even be a small part in the wip-installer-2 >> that asks you

Re: Porting GuixSD to ARM article.

> We could ship the generic ARM image, let the user use > qemu-system-arm to boot it and set up the correct u-boot in > there, and only then write it to SD card. > > There could even be a small part in the wip-installer-2 > that asks you which u-boot you want and set that up. > > I'm just trying

Re: Porting GuixSD to ARM article.

Hi Mathieu, On Tue, 23 Jan 2018 10:29:52 +0100 Mathieu Othacehe wrote: > The problem with the approach of no writing u-boot is when you're > preparing a blank SD card and expect to boot from it. Right, that would be a problem sometimes. Most ARM boards I have have

Re: Porting GuixSD to ARM article.

Hi Danny, > I've also tested our new "--system" facility which allows us to build the > ARM image on x86_64 - but I'm sad to say that glibc has a bug which makes > the build fail > . Oh too bad :( > We could add a new argument to the

Re: Porting GuixSD to ARM article.

Hi Andreas, > I am reading it only now (since I wish to install GuixSD on an ARM board > of mine, but better late than never...). Very nice work and write-up! Thank you :) > But I still have a few questions: > - Now that there is a release 0.14, could the images not be ma

Re: Porting GuixSD to ARM article.

Hi, > - In my case, I own an Olimex Lime 1. I think that this might correspond > to a20-olinuxino-micro-installation-os. Whatever it is, it does not have > integrated memory, but needs to run directly from the micro SD card. I've added a20-olinuxino-lime-installation-os to guix master now.

Re: Porting GuixSD to ARM article.

Hello Mathieu, On Fri, Dec 22, 2017 at 02:12:02PM +0100, Mathieu Othacehe wrote: > A new article is available on Guix's website. It summarizes recent > progress on ARM porting topic. I am reading it only now (since I wish to install GuixSD on an ARM board of mine, but better late than

Re: Porting GuixSD to ARM article.

> Very cool! Thanks Pjotr! Mathieu

Re: Porting GuixSD to ARM article.

Hi Vicent, > The definition on an installation image for the BeagleBone Black. > s/on an/of an/ Thanks for pointing it out. > In "Preparing a dedicated system configuration", I'm not sure, > but you have a "tty-O-0" in the system configuration: > > (tty "ttyO0") > > Isn't that a typo also ?

Re: Porting GuixSD to ARM article.

On Fri, Dec 22, 2017 at 02:12:02PM +0100, Mathieu Othacehe wrote: > > Hi Guix! > > A new article is available on Guix's website. It summarizes recent > progress on ARM porting topic. > > https://www.gnu.org/software/guix/blog/2017/porting-guixsd-to-armv7/ > > Feel free to ask any question or

Re: Porting GuixSD to ARM article.

Hello, On Fri, Dec 22, 2017 at 2:12 PM, Mathieu Othacehe wrote: > https://www.gnu.org/software/guix/blog/2017/porting-guixsd-to-armv7/ > > Feel free to ask any question or propose follow-up actions here! > Many thanks to Ludo, Danny and Ricardo for the early review :) I

Porting GuixSD to ARM article.

Hi Guix! A new article is available on Guix's website. It summarizes recent progress on ARM porting topic. https://www.gnu.org/software/guix/blog/2017/porting-guixsd-to-armv7/ Feel free to ask any question or propose follow-up actions here! Many thanks to Ludo, Danny and Ricardo for the early

Re: GuixSD on ARM

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

Re: GuixSD on ARM

Eric Bavier writes: > On Wed, 13 Jul 2016 08:55:23 +0200 > Ricardo Wurmus <rek...@elephly.net> wrote: > >> Hi Daniel, >> >> > I'd like GuixSD on ARM plataform, for instance Libre Tea Computer Card >> > or other ARM libre plataform. >> &

Re: GuixSD on ARM

On Wed, 13 Jul 2016 08:55:23 +0200 Ricardo Wurmus <rek...@elephly.net> 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: > >

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

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

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

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. > ;;; > ;;;

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

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

Re: GuixSD on ARM

Hi, Ricardo Wurmus <rek...@elephly.net> 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 >>

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

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

Re: GuixSD on ARM

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-machi

GuixSD on ARM

Hi Guixs, Guix run in ARM, but GuixSD not. 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