GNU bug report logs - #22274
GuixSD resets hardware clock (on Lenovo x200 with libreboot)

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 22274 in the body.
You can then email your comments to 22274 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: bug-guix <at> gnu.org
Subject: GuixSD resets hardware clock (on Lenovo x200 with libreboot)
Date: Wed, 30 Dec 2015 09:24:49 -0600

[Message part 1 (text/plain, inline)]

Hello,

I recently installed GuixSD on the laptop I got fresh from Minifree.  I
was happy to see how much worked, but I've noticed a bug that occurs in
GuixSD but not in Debian.

In Debian I can set the hardware clock (with `hwclock -w`) and if I
reboot back into Debian again, I still have the same hardware clock.

If I reboot into GuixSD, at some point in the boot process it resets my
hardware clock to 1970!  If I reboot into Debian again after that, it's
1970 there also.

This is fairly serious, because this could greatly mess up committing to
git, running makefiles, or simply knowing when I wrote that file to
disk.  Also, ssl certs no longer validate, etc.

Any idea what could be causing this?  I noticed that if I rebooted it
at the time that it asked me for a passphrase to decrypt /home/ that it
didn't reset the clock, though maybe I should test that again.

My system config file is attached.

[config-new.scm (text/plain, inline)]

;; This is an operating system configuration template
;; for a "desktop" setup with X11.

(use-modules (gnu) (gnu system nss))
(use-service-modules desktop)
(use-package-modules xfce ratpoison certs)

(operating-system
  (host-name "oolong")
  (timezone "America/Chicago")
  (locale "en_US.UTF-8")

  ;; Assuming /dev/sdX is the target hard disk, and "root" is
  ;; the label of the target root file system.
  (bootloader (grub-configuration
	       (device "/dev/sda")))
  (mapped-devices (list (mapped-device
			 (source "/dev/sda8")
			 (target "home-luks")
			 (type luks-device-mapping))))
  (file-systems `(,(file-system
                        (device "guix")
                        (title 'label)
                        (mount-point "/")
                        (type "ext4"))
                  ,(file-system
                     (device "/dev/mapper/home-luks")
                     (mount-point "/home")
                     (type "ext4"))
                  ,@%base-file-systems))

  (users (cons (user-account
                (name "cwebber")
		(uid 1000)
                (comment "Christopher Allan Webber")
                (group "cwebber")
                (supplementary-groups '("users"
					"wheel" "netdev"
                                        "audio" "video"))
                (home-directory "/home/cwebber"))
               %base-user-accounts))

  (groups (cons (user-group
		 (name "cwebber")
		 (id 1000))
		%base-groups))

  ;; Add Xfce and Ratpoison; that allows us to choose
  ;; sessions using either of these at the log-in screen.
  (packages (cons* xfce ratpoison    ;desktop environments
                   nss-certs         ;for HTTPS access
                   %base-packages))

  ;; Use the "desktop" services, which include the X11
  ;; log-in service, networking with Wicd, and more.
  (services %desktop-services)

  ;; Allow resolution of '.local' host names with mDNS.
  (name-service-switch %mdns-host-lookup-nss))

Message #8 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Christopher Allan Webber <cwebber <at> dustycloud.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Fri, 01 Jan 2016 16:28:17 +0100

Christopher Allan Webber <cwebber <at> dustycloud.org> skribis:

> If I reboot into GuixSD, at some point in the boot process it resets my
> hardware clock to 1970!  If I reboot into Debian again after that, it's
> 1970 there also.

Ouch!  Your config includes the ntp daemon.  Could it be that it’s
misbehaving?

You can remove it along the lines of:

  (define %my-desktop-services
    (remove (lambda (service)
              (eq? (service-kind service) ntp-service-type))
            %desktop-services))

Well, you need to export ‘ntp-service-type’ from (gnu services
networking) first…

Other than that, I have no idea what could be resetting the hardware
clock to 0.

HTH,
Ludo’.

Message #11 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Mark H Weaver <mhw <at> netris.org>
To: Christopher Allan Webber <cwebber <at> dustycloud.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Thu, 31 Dec 2015 15:27:23 -0500

Christopher Allan Webber <cwebber <at> dustycloud.org> writes:

> I recently installed GuixSD on the laptop I got fresh from Minifree.  I
> was happy to see how much worked, but I've noticed a bug that occurs in
> GuixSD but not in Debian.
>
> In Debian I can set the hardware clock (with `hwclock -w`) and if I
> reboot back into Debian again, I still have the same hardware clock.
>
> If I reboot into GuixSD, at some point in the boot process it resets my
> hardware clock to 1970!  If I reboot into Debian again after that, it's
> 1970 there also.

Very strange.  FWIW, I've used Libreboot X60 and X200 laptops running
GuixSD quite extensively -- they are my primary development machines --
and I've never seen anything like this.

One possibility that comes to mind is that perhaps your hardware clock
battery is dead, and that sometimes Debian is able to hide that fact by
setting the date via NTP or something.  Can you try running "hwclock -r"
after a cold boot into Debian and see what it says?

> Any idea what could be causing this?  I noticed that if I rebooted it
> at the time that it asked me for a passphrase to decrypt /home/ that it
> didn't reset the clock, though maybe I should test that again.

If you're sharing /home between Debian and GuixSD, I wonder if going
back and forth between two different versions of GNOME while sharing the
data in dot-files/directories is causing a problem?

This in turn makes me wonder if the clock is truly being reset during
the GuixSD boot process, or if it might be happening during login to
your desktop environment.  Please try the following:

* Cold boot into Debian.
* Set the hardware clock (hwclock -w).
* Read the hardware clock to verify that it works (hwclock -r).
* Reboot into GuixSD.
* Log in to a text console as root and check both the system clock
  (date) and the hardware clock (hwclock -r).

     Thanks,
       Mark

Message #14 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Mark H Weaver <mhw <at> netris.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Sun, 03 Jan 2016 21:37:08 -0600

Mark H Weaver writes:

> Very strange.  FWIW, I've used Libreboot X60 and X200 laptops running
> GuixSD quite extensively -- they are my primary development machines --
> and I've never seen anything like this.
>
> One possibility that comes to mind is that perhaps your hardware clock
> battery is dead, and that sometimes Debian is able to hide that fact by
> setting the date via NTP or something.  Can you try running "hwclock -r"
> after a cold boot into Debian and see what it says?

Yes it isn't the battery.  I've also verified that this happens on my
friend Aeva's minifree x200 w/ Libreboot + Guix.  More on that in my
next email.

>> Any idea what could be causing this?  I noticed that if I rebooted it
>> at the time that it asked me for a passphrase to decrypt /home/ that it
>> didn't reset the clock, though maybe I should test that again.
>
> If you're sharing /home between Debian and GuixSD, I wonder if going
> back and forth between two different versions of GNOME while sharing the
> data in dot-files/directories is causing a problem?
>
> This in turn makes me wonder if the clock is truly being reset during
> the GuixSD boot process, or if it might be happening during login to
> your desktop environment.  Please try the following:
>
> * Cold boot into Debian.
> * Set the hardware clock (hwclock -w).
> * Read the hardware clock to verify that it works (hwclock -r).
> * Reboot into GuixSD.
> * Log in to a text console as root and check both the system clock
>   (date) and the hardware clock (hwclock -r).
>
>      Thanks,
>        Mark

I've done this and I ran into problems still.  However, I think I
figured out the source of them... I suspect there were two problems.
I'll detail in my reply to Ludovic.

Message #17 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Sun, 03 Jan 2016 21:39:35 -0600

Ludovic Courtès writes:

> Christopher Allan Webber <cwebber <at> dustycloud.org> skribis:
>
>> If I reboot into GuixSD, at some point in the boot process it resets my
>> hardware clock to 1970!  If I reboot into Debian again after that, it's
>> 1970 there also.
>
> Ouch!  Your config includes the ntp daemon.  Could it be that it’s
> misbehaving?
>
> You can remove it along the lines of:
>
>   (define %my-desktop-services
>     (remove (lambda (service)
>               (eq? (service-kind service) ntp-service-type))
>             %desktop-services))
>
> Well, you need to export ‘ntp-service-type’ from (gnu services
> networking) first…
>
> Other than that, I have no idea what could be resetting the hardware
> clock to 0.

So I did this, and it stopped resetting the hardware clock for Debian as
well when I rebooted into Guix.  It also makes me think that there's no
reason we should have ntp-service-type in %desktop-services, though
that's a separate issue.

So that's part 1 resolved, I think.  Part 2 is the problem that even
though Debian now keeps the right time while rebooting from Debian ->
GuixSD -> Debian, GuixSD still doesn't know what time it is... or that
is, doesn't know what time it is on the most recent system build!  It
turns out my 0.9.0 system build still works correctly.

Not only that, but I verified that my friend Aeva hits the *same*
"problem" and "solution"...!


*** Most recent Guix system (Linux-Libre 4.3.3) ***

bash-4.3$ date
Wed Dec 31 18:01:42 CST 1969
bash-4.3$ sudo hwclock -r
hwclock: ioctl(RTC_RD_TIME) to /dev/rtc to read the time failed: Invalid argument

(NOTE: aeva did not hit the hwclock -r ... but she also did not do
"hwclock -w" from Debian (she did it from GuixSD instead))


*** Initial Guix system (Linux-Libre 4.2.5) ***

bash-4.3$ date
Sat Jan  2 20:39:30 CST 2016
bash-4.3$ sudo hwclock -r
Sun 03 Jan 2016 02:39:48 AM America  .821300 seconds


In both Aeva and I's systems, the hardware clock could not be read (and
thus we got 1969) in the most recent system built and installed by
GuixSD, but in the original system install (from Guix 0.9.0), the clock
works just fine.

Thus my *guess* is that this is a regression in the kernel (either that
or we both "added" some mistake) between 4.2.5 and 4.3.3.

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.

Looks like we're on the right track to sorting this out....!
 - Chris

Message #20 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Christopher Allan Webber <cwebber <at> dustycloud.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Mon, 04 Jan 2016 16:02:00 +0100

Christopher Allan Webber <cwebber <at> dustycloud.org> skribis:

> Ludovic Courtès writes:
>
>> Christopher Allan Webber <cwebber <at> dustycloud.org> skribis:
>>
>>> If I reboot into GuixSD, at some point in the boot process it resets my
>>> hardware clock to 1970!  If I reboot into Debian again after that, it's
>>> 1970 there also.
>>
>> Ouch!  Your config includes the ntp daemon.  Could it be that it’s
>> misbehaving?
>>
>> You can remove it along the lines of:
>>
>>   (define %my-desktop-services
>>     (remove (lambda (service)
>>               (eq? (service-kind service) ntp-service-type))
>>             %desktop-services))
>>
>> Well, you need to export ‘ntp-service-type’ from (gnu services
>> networking) first…
>>
>> Other than that, I have no idea what could be resetting the hardware
>> clock to 0.
>
> So I did this, and it stopped resetting the hardware clock for Debian as
> well when I rebooted into Guix.

Could you check in /var/log/messages or nearby if there were relevant
messages from ntpd?

I wouldn’t expect it to reset the date.  I always run it on my laptop,
and nothing ever went havoc, whether or not networking access was
available.

> It also makes me think that there's no reason we should have
> ntp-service-type in %desktop-services, though that's a separate issue.

Maybe, I’m open to discussion.  My impression is that it’s “usually”
enabled by default on desktop distros.  Then again I’ve been told that
tlsdate would be sufficient and safer.

> So that's part 1 resolved, I think.  Part 2 is the problem that even
> though Debian now keeps the right time while rebooting from Debian ->
> GuixSD -> Debian, GuixSD still doesn't know what time it is... or that
> is, doesn't know what time it is on the most recent system build!  It
> turns out my 0.9.0 system build still works correctly.

Weird.

> Not only that, but I verified that my friend Aeva hits the *same*
> "problem" and "solution"...!

Same hardware?

> *** Most recent Guix system (Linux-Libre 4.3.3) ***
>
> bash-4.3$ date
> Wed Dec 31 18:01:42 CST 1969
> bash-4.3$ sudo hwclock -r
> hwclock: ioctl(RTC_RD_TIME) to /dev/rtc to read the time failed: Invalid argument

Anything in /var/log/messages, tty12, or similar?

Could it be a driver issue?

Works for me (a Dell laptop) with recentish GuixSD:

--8<---------------cut here---------------start------------->8---
$ sudo hwclock -r
Mon 04 Jan 2016 03:59:40 PM CET  .950405 seconds
$ uname -a
Linux pluto 4.3.3-gnu #1 SMP Wed Dec 16 18:40:47 UTC 2015 x86_64 GNU/Linux
--8<---------------cut here---------------end--------------->8---

> In both Aeva and I's systems, the hardware clock could not be read (and
> thus we got 1969) in the most recent system built and installed by
> GuixSD, but in the original system install (from Guix 0.9.0), the clock
> works just fine.
>
> Thus my *guess* is that this is a regression in the kernel (either that
> or we both "added" some mistake) between 4.2.5 and 4.3.3.

Sounds like it.

> 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’.

Message #23 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Tue, 05 Jan 2016 09:40:57 -0600

Ludovic Courtès writes:

>> So I did this, and it stopped resetting the hardware clock for Debian as
>> well when I rebooted into Guix.
>
> Could you check in /var/log/messages or nearby if there were relevant
> messages from ntpd?
>
> I wouldn’t expect it to reset the date.  I always run it on my laptop,
> and nothing ever went havoc, whether or not networking access was
> available.

I'll check it.  Maybe it never reset the date or the hardware clock at
all, and some attempt of me trying to run 'hwclock -w' on a system set
to 1969 set the date???  I'll look further.

It could be that it had failed to read the hardware clock all along in
recent updates, but never did anything about writing to the hardware
clock.

>> It also makes me think that there's no reason we should have
>> ntp-service-type in %desktop-services, though that's a separate issue.
>
> Maybe, I’m open to discussion.  My impression is that it’s “usually”
> enabled by default on desktop distros.  Then again I’ve been told that
> tlsdate would be sufficient and safer.

Hm ok!

>> Not only that, but I verified that my friend Aeva hits the *same*
>> "problem" and "solution"...!
>
> Same hardware?

Same hardware, both of us got x200 Libreboot-enabled laptops from
Minifree.  She doesn't have Debian on hers though, only GuixSD,
so I was not able to check as many things.

Hilariously, we both found it most visible because we noticed SSL certs
being marked invalid because the machine thought they certs wouldn't be
valid for another 45ish years :)

>> *** Most recent Guix system (Linux-Libre 4.3.3) ***
>>
>> bash-4.3$ date
>> Wed Dec 31 18:01:42 CST 1969
>> bash-4.3$ sudo hwclock -r
>> hwclock: ioctl(RTC_RD_TIME) to /dev/rtc to read the time failed: Invalid argument
>
> Anything in /var/log/messages, tty12, or similar?
>
> Could it be a driver issue?
>
> Works for me (a Dell laptop) with recentish GuixSD:
>
> --8<---------------cut here---------------start------------->8---
> $ sudo hwclock -r
> Mon 04 Jan 2016 03:59:40 PM CET  .950405 seconds
> $ uname -a
> Linux pluto 4.3.3-gnu #1 SMP Wed Dec 16 18:40:47 UTC 2015 x86_64 GNU/Linux
> --8<---------------cut here---------------end--------------->8---

I'll check /var/log/messages and report back after next reboot into Guix.

>> 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 :)

Message #26 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Francis Rowe <info <at> gluglug.org.uk>
To: 22274 <at> debbugs.gnu.org
Subject: epochfail
Date: Tue, 12 Jan 2016 07:19:43 +0000

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

pasting from #guix

<francis7> mark_weaver, can you (and also inform others of this) check
what it says on https://libreboot.org/faq/#epochfail
<francis7> Quote: "This seems to be an issue in Linux kernel version
4.3 and higher, though it may also affect older releases. We know that
it does not affect Linux kernel version 3.13 (the one used in Trisquel
7, which many libreboot developers and users use). A bisect of the
upstream linux kernel Git repository is in order, so that we can find
out which commit introduced this issue."
<francis7> Can you try said bisect?
<francis7> If not, can you talk to a few others and suggest the same?
<francis7> I ask, since you use Libreboot on a system that is affected
<francis7> We need to know which kernel commit caused this, as a
necessary prerequisite for a fix upstream (kernel.org)
<lfam> francis7: You might also try emailing 22274 <at> debbugs.gnu.org.
That is the bug tracker for our related bug:
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22274

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iQEcBAEBAgAGBQJWlKkPAAoJEP9Ft0z50c+Uo7MH/RmaXfmI02nXFDset2G1MVv/
oj/j7Yzhp9Mf98mwsV6lcq3JsZLuUiCYY+H9aeXhfHzw2vo+efj5GayHAddCW1Kk
ueOnuLC8AAxwLlC9P4BTa1p0o9v832qMkE9l5/VAU3isj2B0igHzJ6NPG/IVZB+5
AzbXdWfFTGPt9s+LSzfmAZsttYe7Ki5gHF+Q5cktdPSHYDzVur3D4CY4z1vsn/lW
Ozyyd4W87EgeIolTOAFxNXP7rrXCvjkPSXZ5xiFMzP9STtnL1ppnmnvLLit64TCg
S6j74PU1kPIXVL1vBz1zhcZLSfYryJ8zkKpqiRsHqWQVTUHostZEdQ8tP3rPGIQ=
=VYlA
-----END PGP SIGNATURE-----

Message #29 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Francis Rowe <info <at> gluglug.org.uk>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: epochfail
Date: Tue, 12 Jan 2016 14:03:43 -0500

On Tue, Jan 12, 2016 at 07:19:43AM +0000, Francis Rowe wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> pasting from #guix
> 
> <francis7> mark_weaver, can you (and also inform others of this) check
> what it says on https://libreboot.org/faq/#epochfail

This relates to the bug whereby the hwclock always thinks it is
1970-01-01. 

> <francis7> Quote: "This seems to be an issue in Linux kernel version
> 4.3 and higher, though it may also affect older releases. We know that
> it does not affect Linux kernel version 3.13 (the one used in Trisquel
> 7, which many libreboot developers and users use). A bisect of the
> upstream linux kernel Git repository is in order, so that we can find
> out which commit introduced this issue."
> <francis7> Can you try said bisect?
> <francis7> If not, can you talk to a few others and suggest the same?
> <francis7> I ask, since you use Libreboot on a system that is affected
> <francis7> We need to know which kernel commit caused this, as a
> necessary prerequisite for a fix upstream (kernel.org)
> <lfam> francis7: You might also try emailing 22274 <at> debbugs.gnu.org.
> That is the bug tracker for our related bug:
> http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22274
> 
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v2.0.22 (GNU/Linux)
> 
> iQEcBAEBAgAGBQJWlKkPAAoJEP9Ft0z50c+Uo7MH/RmaXfmI02nXFDset2G1MVv/
> oj/j7Yzhp9Mf98mwsV6lcq3JsZLuUiCYY+H9aeXhfHzw2vo+efj5GayHAddCW1Kk
> ueOnuLC8AAxwLlC9P4BTa1p0o9v832qMkE9l5/VAU3isj2B0igHzJ6NPG/IVZB+5
> AzbXdWfFTGPt9s+LSzfmAZsttYe7Ki5gHF+Q5cktdPSHYDzVur3D4CY4z1vsn/lW
> Ozyyd4W87EgeIolTOAFxNXP7rrXCvjkPSXZ5xiFMzP9STtnL1ppnmnvLLit64TCg
> S6j74PU1kPIXVL1vBz1zhcZLSfYryJ8zkKpqiRsHqWQVTUHostZEdQ8tP3rPGIQ=
> =VYlA
> -----END PGP SIGNATURE-----
> 
> 
> 

Message #32 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Thu, 14 Jan 2016 10:55:31 -0800

[Message part 1 (text/plain, inline)]

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 (application/octet-stream, inline)]

Message #35 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Christopher Allan Webber <cwebber <at> dustycloud.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Fri, 15 Jan 2016 10:35:53 +0100

Christopher Allan Webber <cwebber <at> 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’.

Message #38 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Sun, 17 Jan 2016 08:51:06 -0800

Ludovic Courtès writes:

> Christopher Allan Webber <cwebber <at> 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’.

Yes, I will work on this.

Also I'm happy to report that I did a fairly thorough testing and
guarantee that this really is the source of the hardware clock reading
error, and it is.  I checked both kernel versions about 10 times and
found consistent behavior.

I'm not sure why something in my GuixSD system sometimes sets the
hardware clock and sometimes doesn't yet, though.  But that's not as big
of a concern or me.

Anyway, on to do that packaging!

Message #41 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Mon, 18 Jan 2016 08:58:43 -0800

[Message part 1 (text/plain, inline)]

Christopher Allan Webber writes:

> Ludovic Courtès writes:
>
>> Christopher Allan Webber <cwebber <at> 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’.
>
> Yes, I will work on this.

Here's a patch that does just this.  Does it look good enough to merge?

[0001-gnu-Add-linux-libre-4.2.5.patch (text/x-diff, inline)]

From afcd19c4b3cf69ecacf2c34ba3051fc05c830879 Mon Sep 17 00:00:00 2001
From: Christopher Allan Webber <cwebber <at> dustycloud.org>
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.

* gnu/linux.scm (linux-libre-4.2.5): New variable.
---
 gnu/packages/linux.scm | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 779b9c8..de4d1bd 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -317,6 +317,22 @@ It has been modified to remove all non-free binary blobs.")
     (license license:gpl2)
     (home-page "http://www.gnu.org/software/linux-libre/"))))
 
+;; 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.
+
+(define-public linux-libre-4.2.5
+  (package
+    (inherit linux-libre)
+    (version "4.2.5")
+    (source (origin
+             (method url-fetch)
+             (uri (linux-libre-urls version))
+             (sha256
+              (base32
+               "13ar9sghm2g5w2km9x2d07q3lh81rz286d6slklv56qanm24chzx"))))))
+
 
 ;;;
 ;;; Pluggable authentication modules (PAM).
-- 
2.1.4

Message #44 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Francis Rowe <info <at> gluglug.org.uk>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: epochfail
Date: Mon, 18 Jan 2016 09:02:41 -0800

> pasting from #guix
>
> <francis7> mark_weaver, can you (and also inform others of this) check
> what it says on https://libreboot.org/faq/#epochfail
> <francis7> Quote: "This seems to be an issue in Linux kernel version
> 4.3 and higher, though it may also affect older releases. We know that
> it does not affect Linux kernel version 3.13 (the one used in Trisquel
> 7, which many libreboot developers and users use). A bisect of the
> upstream linux kernel Git repository is in order, so that we can find
> out which commit introduced this issue."

See also http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22274#38 which
confirms that this happens sometime between Linux-Libre 4.2.5 and 4.3.3
so that narrows things down a bit.

Message #47 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Mon, 18 Jan 2016 11:42:31 -0800

[Message part 1 (text/plain, inline)]

Christopher Allan Webber writes:

> Here's a patch that does just this.  Does it look good enough to merge?

Forgot the (C) line.

[0001-gnu-Add-linux-libre-4.2.5.patch (text/x-diff, inline)]

From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
From: Christopher Allan Webber <cwebber <at> dustycloud.org>
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.

* gnu/linux.scm (linux-libre-4.2.5): New variable.
---
 gnu/packages/linux.scm | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 779b9c8..217d7fe 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -6,6 +6,7 @@
 ;;; Copyright © 2015 Federico Beffa <beffa <at> fbengineering.ch>
 ;;; Copyright © 2015 Taylan Ulrich Bayırlı/Kammer <taylanbayirli <at> gmail.com>
 ;;; Copyright © 2015 Efraim Flashner <efraim <at> flashner.co.il>
+;;; Copyright © 2016 Christopher Allan Webber <cwebber <at> dustycloud.org>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -317,6 +318,22 @@ It has been modified to remove all non-free binary blobs.")
     (license license:gpl2)
     (home-page "http://www.gnu.org/software/linux-libre/"))))
 
+;; 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.
+
+(define-public linux-libre-4.2.5
+  (package
+    (inherit linux-libre)
+    (version "4.2.5")
+    (source (origin
+             (method url-fetch)
+             (uri (linux-libre-urls version))
+             (sha256
+              (base32
+               "13ar9sghm2g5w2km9x2d07q3lh81rz286d6slklv56qanm24chzx"))))))
+
 
 ;;;
 ;;; Pluggable authentication modules (PAM).
-- 
2.6.3

Message #50 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Christopher Allan Webber <cwebber <at> dustycloud.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Mon, 18 Jan 2016 23:42:50 +0100

Christopher Allan Webber <cwebber <at> dustycloud.org> skribis:

> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
> 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’.

Message #53 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Mon, 18 Jan 2016 15:11:03 -0800

Ludovic Courtès writes:

> Christopher Allan Webber <cwebber <at> dustycloud.org> skribis:
>
>> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
>> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
>> 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.

Okay, removed.

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

Ha!  Unintentional joke... :)

>> +;; 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’.

Great, I made those changes and pushed it!  I'm using it already! :)

Message #56 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Mark H Weaver <mhw <at> netris.org>
To: Christopher Allan Webber <cwebber <at> dustycloud.org>
Cc: Ludovic Courtès <ludo <at> gnu.org>, 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Tue, 19 Jan 2016 11:33:03 -0500

Christopher Allan Webber <cwebber <at> dustycloud.org> writes:

> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
> 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.
>
> * gnu/linux.scm (linux-libre-4.2.5): New variable.

I would say that the variable should be named 'linux-libre-4.2', which
would always be bound to the latest 4.2.x.  However, there's another
problem: the 4.2 branch is no longer supported upstream, so it will no
longer receive security updates and other important fixes.

I suggest that we instead add linux-libre-4.1, which is still supported
upstream and is designated as an LTS branch.  Would that be okay?

Another issue is that the kernel config for 4.3 is being used here.  I
guess maybe that's working well enough in this case, but really our
kernel packages should be refactored somewhat to make this nicer.

One more thing: Francis Rowe told me that the coreboot developers have
determined that this is a bug on their side, and libreboot will
cherry-pick the fix soon, if it hasn't already.

     Thanks!
       Mark

Message #59 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Mark H Weaver <mhw <at> netris.org>
Cc: Christopher Allan Webber <cwebber <at> dustycloud.org>, 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Tue, 19 Jan 2016 18:07:33 +0100

Mark H Weaver <mhw <at> netris.org> skribis:

> Christopher Allan Webber <cwebber <at> dustycloud.org> writes:
>
>> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
>> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
>> 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.
>>
>> * gnu/linux.scm (linux-libre-4.2.5): New variable.
>
> I would say that the variable should be named 'linux-libre-4.2', which
> would always be bound to the latest 4.2.x.  However, there's another
> problem: the 4.2 branch is no longer supported upstream, so it will no
> longer receive security updates and other important fixes.
>
> I suggest that we instead add linux-libre-4.1, which is still supported
> upstream and is designated as an LTS branch.  Would that be okay?

If it works for Christopher, that’s a good idea.

> Another issue is that the kernel config for 4.3 is being used here.  I
> guess maybe that's working well enough in this case, but really our
> kernel packages should be refactored somewhat to make this nicer.

Yeah, though that’s probably beyond the scope of this particular issue.

> One more thing: Francis Rowe told me that the coreboot developers have
> determined that this is a bug on their side, and libreboot will
> cherry-pick the fix soon, if it hasn't already.

Interesting.  Any links to the bug report or commit?

Thanks for your feedback!

Ludo’.

Message #62 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Mark H Weaver <mhw <at> netris.org>
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Tue, 19 Jan 2016 12:11:51 -0500

ludo <at> gnu.org (Ludovic Courtès) writes:

> Mark H Weaver <mhw <at> netris.org> skribis:
>
>> Christopher Allan Webber <cwebber <at> dustycloud.org> writes:
>>
>>> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
>>> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
>>> 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.
>>>
>>> * gnu/linux.scm (linux-libre-4.2.5): New variable.
>>
>> I would say that the variable should be named 'linux-libre-4.2', which
>> would always be bound to the latest 4.2.x.  However, there's another
>> problem: the 4.2 branch is no longer supported upstream, so it will no
>> longer receive security updates and other important fixes.
>>
>> I suggest that we instead add linux-libre-4.1, which is still supported
>> upstream and is designated as an LTS branch.  Would that be okay?
>
> If it works for Christopher, that’s a good idea.
>
>> Another issue is that the kernel config for 4.3 is being used here.  I
>> guess maybe that's working well enough in this case, but really our
>> kernel packages should be refactored somewhat to make this nicer.
>
> Yeah, though that’s probably beyond the scope of this particular issue.

Agreed.

>> One more thing: Francis Rowe told me that the coreboot developers have
>> determined that this is a bug on their side, and libreboot will
>> cherry-pick the fix soon, if it hasn't already.

"determined" may have been too strong a word.  Maybe better to say that
they "think" it's a coreboot bug, exposed by a change in the kernel.

> Interesting.  Any links to the bug report or commit?

https://review.coreboot.org/#/c/11853/

     Mark

Message #65 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Christopher Allan Webber <cwebber <at> dustycloud.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Mark H Weaver <mhw <at> netris.org>, 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Tue, 19 Jan 2016 13:50:58 -0800

Ludovic Courtès writes:

> Mark H Weaver <mhw <at> netris.org> skribis:
>
>> Christopher Allan Webber <cwebber <at> dustycloud.org> writes:
>>
>>> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
>>> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
>>> 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.
>>>
>>> * gnu/linux.scm (linux-libre-4.2.5): New variable.
>>
>> I would say that the variable should be named 'linux-libre-4.2', which
>> would always be bound to the latest 4.2.x.  However, there's another
>> problem: the 4.2 branch is no longer supported upstream, so it will no
>> longer receive security updates and other important fixes.
>>
>> I suggest that we instead add linux-libre-4.1, which is still supported
>> upstream and is designated as an LTS branch.  Would that be okay?
>
> If it works for Christopher, that’s a good idea.

Fine by me, assuming it works.  I can test it works fine probably tomorrow.

>> Another issue is that the kernel config for 4.3 is being used here.  I
>> guess maybe that's working well enough in this case, but really our
>> kernel packages should be refactored somewhat to make this nicer.
>
> Yeah, though that’s probably beyond the scope of this particular issue.

I haven't noticed any problems, though 

>> One more thing: Francis Rowe told me that the coreboot developers have
>> determined that this is a bug on their side, and libreboot will
>> cherry-pick the fix soon, if it hasn't already.
>
> Interesting.  Any links to the bug report or commit?

Yeah, Francis told me this as well.

I guess this means that I should reflash libreboot once this change
happens.  I'm a little bit nervous to do that! :)

Message #68 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: Mark H Weaver <mhw <at> netris.org>
To: Christopher Allan Webber <cwebber <at> dustycloud.org>
Cc: Ludovic Courtès <ludo <at> gnu.org>, 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Tue, 02 Feb 2016 03:17:09 -0500

Hi,

Christopher Allan Webber <cwebber <at> dustycloud.org> writes:

> Ludovic Courtès writes:
>
>> Mark H Weaver <mhw <at> netris.org> skribis:
>>
>>> Christopher Allan Webber <cwebber <at> dustycloud.org> writes:
>>>
>>>> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
>>>> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
>>>> 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.
>>>>
>>>> * gnu/linux.scm (linux-libre-4.2.5): New variable.
>>>
>>> I would say that the variable should be named 'linux-libre-4.2', which
>>> would always be bound to the latest 4.2.x.  However, there's another
>>> problem: the 4.2 branch is no longer supported upstream, so it will no
>>> longer receive security updates and other important fixes.
>>>
>>> I suggest that we instead add linux-libre-4.1, which is still supported
>>> upstream and is designated as an LTS branch.  Would that be okay?
>>
>> If it works for Christopher, that’s a good idea.
>
> Fine by me, assuming it works.  I can test it works fine probably tomorrow.

I just added a 'linux-libre-4.1' variable.  Can you test to make sure it
works for you?  I'd like to remove linux-libre-4.2.5 ASAP because 4.2.x
is no longer supported upstream and contains security flaws.

    Thanks!
      Mark

Message #71 received at 22274 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Mark H Weaver <mhw <at> netris.org>
Cc: Christopher Allan Webber <cwebber <at> dustycloud.org>, 22274 <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Fri, 05 Feb 2016 14:08:39 +0100

Mark H Weaver <mhw <at> netris.org> skribis:

> Christopher Allan Webber <cwebber <at> dustycloud.org> writes:
>
>> Ludovic Courtès writes:
>>
>>> Mark H Weaver <mhw <at> netris.org> skribis:
>>>
>>>> Christopher Allan Webber <cwebber <at> dustycloud.org> writes:
>>>>
>>>>> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
>>>>> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
>>>>> 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.
>>>>>
>>>>> * gnu/linux.scm (linux-libre-4.2.5): New variable.
>>>>
>>>> I would say that the variable should be named 'linux-libre-4.2', which
>>>> would always be bound to the latest 4.2.x.  However, there's another
>>>> problem: the 4.2 branch is no longer supported upstream, so it will no
>>>> longer receive security updates and other important fixes.
>>>>
>>>> I suggest that we instead add linux-libre-4.1, which is still supported
>>>> upstream and is designated as an LTS branch.  Would that be okay?
>>>
>>> If it works for Christopher, that’s a good idea.
>>
>> Fine by me, assuming it works.  I can test it works fine probably tomorrow.
>
> I just added a 'linux-libre-4.1' variable.  Can you test to make sure it
> works for you?  I'd like to remove linux-libre-4.2.5 ASAP because 4.2.x
> is no longer supported upstream and contains security flaws.

Regardless, it seems that this bug can be closed on the Guix side; WDYT?

Ludo’.

Message #76 received at 22274-done <at> debbugs.gnu.org (full text, mbox):

From: Mark H Weaver <mhw <at> netris.org>
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: Christopher Allan Webber <cwebber <at> dustycloud.org>,
 22274-done <at> debbugs.gnu.org
Subject: Re: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
 libreboot)
Date: Fri, 05 Feb 2016 10:23:01 -0500

ludo <at> gnu.org (Ludovic Courtès) writes:

> Mark H Weaver <mhw <at> netris.org> skribis:
>
>> Christopher Allan Webber <cwebber <at> dustycloud.org> writes:
>>
>>> Ludovic Courtès writes:
>>>
>>>> Mark H Weaver <mhw <at> netris.org> skribis:
>>>>
>>>>> Christopher Allan Webber <cwebber <at> dustycloud.org> writes:
>>>>>
>>>>>> From e60db83ffff23c57ec5c44de7c99cee8e4e353ff Mon Sep 17 00:00:00 2001
>>>>>> From: Christopher Allan Webber <cwebber <at> dustycloud.org>
>>>>>> 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.
>>>>>>
>>>>>> * gnu/linux.scm (linux-libre-4.2.5): New variable.
>>>>>
>>>>> I would say that the variable should be named 'linux-libre-4.2', which
>>>>> would always be bound to the latest 4.2.x.  However, there's another
>>>>> problem: the 4.2 branch is no longer supported upstream, so it will no
>>>>> longer receive security updates and other important fixes.
>>>>>
>>>>> I suggest that we instead add linux-libre-4.1, which is still supported
>>>>> upstream and is designated as an LTS branch.  Would that be okay?
>>>>
>>>> If it works for Christopher, that’s a good idea.
>>>
>>> Fine by me, assuming it works.  I can test it works fine probably tomorrow.
>>
>> I just added a 'linux-libre-4.1' variable.  Can you test to make sure it
>> works for you?  I'd like to remove linux-libre-4.2.5 ASAP because 4.2.x
>> is no longer supported upstream and contains security flaws.

Chris reported on IRC that linux-libre-4.1 works for him, so I removed
linux-libre-4.2.5.

> Regardless, it seems that this bug can be closed on the Guix side; WDYT?

Agreed.  I've closed the bug.

     Thanks,
       Mark

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.