Christopher Allan Webber <cweb...@dustycloud.org> skribis: > 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.
Great, thanks for narrowing it down. Given that, I think it would be useful to keep a copy of 4.2.5 in Guix itself. Would you like to provide a patch for that, preferably using ‘(inherit linux-libre)’ rather than copying the whole recipe? Ludo’.