From mboxrd@z Thu Jan  1 00:00:00 1970
From: Christopher Allan Webber <cwebber@dustycloud.org>
Subject: bug#22274: GuixSD resets hardware clock (on Lenovo x200 with
	libreboot)
Date: Sun, 17 Jan 2016 08:51:06 -0800
Message-ID: <871t9g2ljg.fsf@dustycloud.org>
References: <87ege42bg6.fsf@dustycloud.org> <87oad5jp4e.fsf@gnu.org>
	<87io3aypk7.fsf@dustycloud.org> <87r3hxbd7b.fsf@gnu.org>
	<87fuycyqpm.fsf@dustycloud.org> <87a8o8yoja.fsf@dustycloud.org>
	<87bn8ngp6u.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:35648)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1aKqcY-0005rM-Pr
	for bug-guix@gnu.org; Sun, 17 Jan 2016 11:56:07 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1aKqcU-0000IL-1r
	for bug-guix@gnu.org; Sun, 17 Jan 2016 11:56:06 -0500
Received: from debbugs.gnu.org ([208.118.235.43]:35574)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1aKqcT-0000IH-VV
	for bug-guix@gnu.org; Sun, 17 Jan 2016 11:56:01 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1aKqcT-0001LA-NS
	for bug-guix@gnu.org; Sun, 17 Jan 2016 11:56:01 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.22274.B22274.14530497205098@debbugs.gnu.org>
In-reply-to: <87bn8ngp6u.fsf@gnu.org>
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: 22274@debbugs.gnu.org

Ludovic Courtès writes:

> Christopher Allan Webber <cwebber@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!