Re: Building a bootable disk image for A20-OLinuXino

2020-01-12 Thread Ludovic Courtès
Hi Mathieu! Mathieu Othacehe skribis: >> (bootloader (bootloader-configuration >> (bootloader u-boot-a20-olinuxino-micro-bootloader) >> (target "/dev/mmcblk0"))) >> >> … this time with offloading to an actual ARM machine. I wrote the >> resulting image to an SD

Re: Building a bootable disk image for A20-OLinuXino

2019-12-31 Thread Mathieu Othacehe
> Well, I prefer to set target to "/dev/vda", produce the image, then dd > it on the SD card. This way, you have an image with the bootloader > installed. But, this should work too. Hmm now that I think about it, if you create an image with "/dev/mmcblk0" as target, then dd the image on the same

Re: Building a bootable disk image for A20-OLinuXino

2019-12-31 Thread Mathieu Othacehe
Hey Ludo, > (bootloader (bootloader-configuration > (bootloader u-boot-a20-olinuxino-micro-bootloader) > (target "/dev/mmcblk0"))) > > … this time with offloading to an actual ARM machine. I wrote the > resulting image to an SD card, but the result appears to b

Building a bootable disk image for A20-OLinuXino

2019-12-30 Thread Ludovic Courtès
Hello! In my quest to get Guix System on an Olimex A20-Olinuxino, I tried: guix system disk-image -s armhf-linux --image-size=16G config.scm where ‘config.scm’ reads: (bootloader (bootloader-configuration (bootloader u-boot-a20-olinuxino-micro-bootloader) (ta