bug#22274: GuixSD resets hardware clock (on Lenovo x200 with libreboot)

2016-01-14 Thread Christopher Allan Webber
Christopher Allan Webber writes: >>> When I'm not on a train I can try building the "current" system with >>> Linux-Libre 4.2.5 and see if it's really the kernel. >> >> Yes, that would be helpful! It would be nice to check with other X200 >> users too. >> >> Thanks for investigating! >> >> Ludo’.

bug#20433: Keyboard not working on laptop with guixSD

2016-01-14 Thread Jessica Tallon
Ludovic Courtès writes: > Ludovic Courtès writes: > > Both appear to detect the keyboard correctly, no noticeable difference. > > So you only tested the keyboard at the console, right? That's correct, I only tested them via the console. As far as I know there isn't Xorg on the 0.9.0 image. It doe

bug#20433: Keyboard not working on laptop with guixSD

2016-01-14 Thread Ludovic Courtès
Jessica Tallon skribis: > Ludovic Courtès writes: >> Jessica Tallon skribis: >> >>> Sure, I have attached both the lsmod on trisquel where it does work and >>> the lsmod in the guix 0.9 image where it doesn't. I did try and look >>> what additional modules trisquel have to see if any stood out b