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 made available > on

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 never...).

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