Re: installing guixsd on an arm device

2018-08-25 Thread Julien Lepiller
So I've tried installing guixsd with an older kernel, but I still get the same issue. Le 25 août 2018 00:33:37 GMT+02:00, l...@gnu.org a écrit : >Hello, > >Mark H Weaver skribis: > >> It might be worth trying an older kernel, specifically >linux-libre-4.14, >> by adding (kernel linux-libre-4.14)

Re: installing guixsd on an arm device

2018-08-24 Thread Ludovic Courtès
Hello, Mark H Weaver skribis: > It might be worth trying an older kernel, specifically linux-libre-4.14, > by adding (kernel linux-libre-4.14) to the OS config and making sure to > import (gnu packages linux). I just recently updated the kernel to > 4.18.x, but I don't know if anyone has tried

Re: installing guixsd on an arm device

2018-08-20 Thread Mark H Weaver
Hi Julien, Julien Lepiller writes: > I'm trying to install GuixSD on a cubietruck. For that, I installed a > foreign distro, installed guix using the binary method, pulled to the > latest version and I eventually ran "guix system init /etc/config.scm > /". > > After that, I rebooted and I can u

installing guixsd on an arm device

2018-08-19 Thread Julien Lepiller
Hi guix! I'm trying to install GuixSD on a cubietruck. For that, I installed a foreign distro, installed guix using the binary method, pulled to the latest version and I eventually ran "guix system init /etc/config.scm /". After that, I rebooted and I can use the HDMI cable to see what's happeni