Ludovic Courtès writes: > Hi Roel, > > Roel Janssen 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