Re: GuixSD on AArch64

2018-12-12 Thread Vagrant Cascadian
On 2018-12-12, Andreas Enge wrote: > On Mon, Oct 22, 2018 at 12:17:58PM -0700, Vagrant Cascadian wrote: >> Looking like u-boot 2019.01 might be more likely, but modest patches >> work with 2018.11-rc2. I'll probably bring the pinebook with me to the >> Paris meetup in December... though with only 2

Re: GuixSD on AArch64

2018-12-12 Thread Andreas Enge
Hello Vagrant, On Mon, Oct 22, 2018 at 12:17:58PM -0700, Vagrant Cascadian wrote: > Looking like u-boot 2019.01 might be more likely, but modest patches > work with 2018.11-rc2. I'll probably bring the pinebook with me to the > Paris meetup in December... though with only 2GB of ram it might not >

Re: GuixSD on AArch64

2018-10-24 Thread Ludovic Courtès
Vagrant Cascadian skribis: > On 2018-10-22, Ludovic Courtès wrote: >> On IRC earlier today Vagrant mentioned that the Pinebook AArch64 laptop >> (see ) should be able to run >> GuixSD when Linux-libre 4.19 and U-Boot 2018.11 are out, with 100% free >> softwar

GuixSD on AArch64

2018-10-22 Thread Vagrant Cascadian
On 2018-10-22, Ludovic Courtès wrote: > On IRC earlier today Vagrant mentioned that the Pinebook AArch64 laptop > (see ) should be able to run > GuixSD when Linux-libre 4.19 and U-Boot 2018.11 are out, with 100% free > software. That may give another incentive