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’. > > Okay, I'll try all these things as soon as I'm not tethering from a > phone :)
Well it took me a bit longer than I said, but I finally tried it :) My config is attached. Hackily, I copy-pasta'ed the kernel packages entirely from guix v0.9.0's release. I can confirm that this can read the hardware clock just fine, whereas the other version of the kernel can't... so it does indeed look like between Linux-Libre 4.2.5 and Linux-Libre 4.3.3 we have some sort of regression that leads to this problem on x200 Minifree Libreboot-enabled laptops, at least. - Chris
config-new-with-old-kernel.scm
Description: Binary data
