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

[Ludovic Courtès]

Christopher Allan Webber <address@hidden> skribis:

> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
> From: Christopher Allan Webber <address@hidden>
> Date: Sun, 17 Jan 2016 20:34:25 -0800
> Subject: [PATCH] gnu: Add linux-libre-4.2.5
>
> This older version of linux-libre is being added because it was found
> that newer versions (or at least 4.3.3) of linux-libre were not reading
> the hardware clock on (at least Libreboot-enabled) Thinkpad x200
> machines.

Since this text is available as a comment, I think it’s not necessary to
keep it here.

> * gnu/linux.scm (linux-libre-4.2.5): New variable.
     ^^^^
Typo.  :-)

> +;; This older version of linux-libre is being added because it was found
> +;; that newer versions (or at least 4.3.3) of linux-libre were not reading
> +;; the hardware clock on (at least Libreboot-enabled) Thinkpad x200
> +;; machines.

Maybe add “See <http://bugs.gnu.org/22274>.”

Other than that, if it builds, it’s all good!  :-)

Thank you,
Ludo’.