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

Previous Next

Full log

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

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: Re: Cannot boot GuixSD after system reconfigure
Date: Tue, 26 Sep 2017 21:24:55 +0200

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

Ludovic Courtès writes:

> Hi Roel,
>
> Roel Janssen <roel <at> gnu.org> skribis:
>
>> I could generate a new system, but upon booting it, I was dropped to a
>> Guile REPL.
>
> Could you check what the error was?  (You can type “,error” at the REPL
> if the message disappeared.)
>
>> 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"))
>
> I don’t see yet what could possibly go wrong.  Note that
> ‘needed-for-boot?’ can be #f (it’s definitely not needed for boot), but
> both should work.
>
> Thanks,
> Ludo’.

I attached a photograph of the boot.  Unfortunately, it doesn't seem
very informative to me.

My partition layout is like to:

Device       Start       End   Sectors   Size Type
/dev/sda1     2048   1026047   1024000   500M EFI System
/dev/sda2  1026048   2050047   1024000   500M Linux filesystem
/dev/sda3  2050048 976773134 974723087 464.8G Linux filesystem

/dev/sda2 -> /boot
/dev/sda2 -> /boot/efi
/dev/sda3 -> /

Thanks for your efforts!

Kind regards,
Roel Janssen

[guixsd-boot-problem.jpg (image/jpeg, attachment)]

Previous Next

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