GNU bug report logs - #28445
match-error in 'device-sexp->device' while building system

Previous Next

Full log

View this message in rfc822 format

From: Roel Janssen <roel <at> gnu.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 28445 <at> debbugs.gnu.org, Danny Milosavljevic <dannym <at> scratchpost.org>, help-guix <help-guix <at> gnu.org>
Subject: bug#28445: Cannot boot GuixSD after system reconfigure
Date: Fri, 22 Sep 2017 21:53:07 +0200

Ludovic Courtès writes:

> Danny Milosavljevic <dannym <at> scratchpost.org> skribis:
>
>> On Fri, 22 Sep 2017 16:03:47 +0200
>> ludo <at> 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

Previous Next

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