From mboxrd@z Thu Jan  1 00:00:00 1970
From: Roel Janssen <roel@gnu.org>
Subject: bug#28445: Cannot boot GuixSD after system reconfigure
Date: Fri, 22 Sep 2017 21:53:07 +0200
Message-ID: <87tvzuqzmk.fsf__9372.61758740551$1506102863$gmane$org@gnu.org>
References: <rbuo9q4cken.fsf@gnu.org> <87bmm3kh47.fsf@gnu.org>
	<87fubf4s77.fsf@gnu.org> <87vakbmvgb.fsf@gnu.org>
	<87a81msud8.fsf@gnu.org>
	<20170922162339.65cf2b79@scratchpost.org> <87lgl6ptws.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]:45342)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1dvS9O-0002tD-4A
	for bug-guix@gnu.org; Fri, 22 Sep 2017 13:54:07 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1dvS9K-0003ty-Pj
	for bug-guix@gnu.org; Fri, 22 Sep 2017 13:54:06 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:44502)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1dvS9K-0003ts-MX
	for bug-guix@gnu.org; Fri, 22 Sep 2017 13:54:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1dvS9K-00021R-6F
	for bug-guix@gnu.org; Fri, 22 Sep 2017 13:54:02 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.28445.B28445.15061028097733@debbugs.gnu.org>
In-reply-to: <87lgl6ptws.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" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: 28445@debbugs.gnu.org, help-guix <help-guix@gnu.org>


Ludovic Courtès writes:

> Danny Milosavljevic <dannym@scratchpost.org> skribis:
>
>> On Fri, 22 Sep 2017 16:03:47 +0200
>> ludo@gnu.org (Ludovic Courtès) wrote:
>>
>>> However, there’s one thing I’d like to double-check with Danny, which is
>>> the word order.  With this patch, I have:
>>> 
>>>   (fat32-uuid->string (string->fat32-uuid "aabb-ccdd"))
>>>   $7 = "CCDD-AABB"
>>> 
>>> Danny: are you sure the most-significant 16-bit word comes last?
>>
>> See https://github.com/karelzak/util-linux/blob/master/libblkid/src/superblocks/vfat.c#L48
>>
>> blkid_probe_sprintf_uuid(pr, vol_serno, 4, "%02X%02X-%02X%02X",
>> vol_serno[3], vol_serno[2], vol_serno[1], vol_serno[0]);
>
> I see, thanks!
>
> Roel, with commit 8a7d81a5e23c4d59fbabf2550db32d4ba5572e4b, you should
> be able to write:
>
>   (uuid "abcd-1234" 'fat32)
>
> in your config, and it should work.
>
> Let me know if it doesn’t.  :-)
>
> Ludo’.

I could generate a new system, but upon booting it, I was dropped to a
Guile REPL.

So it doesn't seem to work.  How can I troubleshoot from there?

I used the following configuration for the EFI partition:

  (file-system
    (title 'uuid)
    (device (uuid "72E5-26A0" 'fat32))
    (mount-point "/boot/efi")
    (needed-for-boot? #t)
    (type "vfat"))

Thanks for your work!

Kind regards,
Roel Janssen