Issue when booting Guix SD on laptop

[Rodrigo Morales <me@rodrigomorales.site>]

I believe I have successfully installed Guix SD in a laptop. I believe so because =guix system init /mnt/config.scm /mnt= ended with =guix system: bootloader successfully installed on /boot/efi=. The problem is that, at startup, my laptop gets stuck in this screen. Screenshot: http://web.archive.org/web/20240405022623/http://0x0.st/XioL.png (screen readers users, see [1] below.) There are some other messages that are shown above (I think they might be relevant): http://web.archive.org/web/20240405024115/http://0x0.st/Xiov.png (screen reader users, see [2] below
I am going to explain how I installed Guix SD on this laptop and I'm going to provide as much details as possible because that might help others spot where I could have made a mistake.

I booted from the USB stick where I copied =guix-system-install-1.4.0.x86_64-linux.iso=. In the installation image, after selecting the language and the territory for the language, I chose "Install using the shell based process." and the following message was shown (http://web.archive.org/web/20240405023310/http://0x0.st/XioW.png) (screen readers users, see [3] below). I think it refers to the bluetooth adapter, the wi-fi adapter and the graphic card, so I don't it is the root cause for my laptop not starting Guix properly.

The following code block lists all the commands that I executed during the installation.

#+BEGIN_SRC sh
$ wipefs -a /dev/nvme0n1
# I used cfdisk to create the partitions. You can see the partitions
# in the output of the lsblk that was executed afterwards.
$ cfdisk /dev/nvme0n1
$ mkfs.fat -F 32 /dev/nvme0n1p1
$ mkfs.ext4 /dev/nvme0n1p2
$ lsblk -o name,type,fstype,size /dev/nvme0n1
NAME        TYPE FSTYPE   SIZE
nvme0n1     disk        953.9G
├─nvme0n1p1 part vfat       1G
└─nvme0n1p2 part ext4   952.9G
$ mount /dev/nvme0n1p2 /mnt
$ mkdir -p /mnt/boot/efi
$ mount /dev/nvme0n1p1 /mnt/boot/efi
$ herd start cow-store /mnt
$ vi /mnt/config.scm
$ guix system init /mnt/config.scm /mnt
#+END_SRC

I wrote a minimal system configuration to avoid as much packages as possible and thus make it easier to find the root cause of the problem. The configuration file can be found here http://web.archive.org/web/20240405023552/http://0x0.st/Xiot.

You can find the entire output of that command =guix system init /mnt/config.scm /mnt= in http://web.archive.org/web/20240405023454/http://0x0.st/Xio4.txt

[1] Transcript of the image

#+BEGIN_SRC text
/dev/nvme0n1p2: clean, 57135/62447616 files, 4508105/249788753 blocks
loading '/gnu/store/kxv4n6875qxs3n474j4inykhia0cc2kc-system/boot'...
making '/gnu/store/kxv4n6875qxs3n474j4inykhia0cc2kc-system' the current system...
setting up setuid programs in '/run/setuid-programs'...
populating /etc from /gnu/store/nhzrdb64v2z9rzmzi34d1r8sq1xw7cja-etc...
[    2.489648] udevd[262]: no sender credentials received, message ignored
[    2.705673] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705711] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705730] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705748] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705766] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705784] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705802] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705820] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705837] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705855] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705872] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705891] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705909] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705926] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705944] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705961] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705979] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.705997] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706014] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706032] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706049] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706066] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706084] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706102] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706119] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706137] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706155] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706173] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706191] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706209] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706226] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706244] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706262] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706401] 0000:04:00.0: Missing Free firmware (non-Free firmwaare loading is disabled)
[    2.706528] iwlwifi 0000:04:00.0: no suitable firmware found!
[    2.706640] iwlwifi 0000:04:00.0: minimum version required: /*(DEBLOBBED)*/39
[    2.706749] iwlwifi 0000:04:00.0: maximum version supported: /*(DEBLOBBED)*/72
[    2.706861] iwlwifi 0000:04:00.0: check /*(DEBLOBBED)*/
[    2.708026] Error: Driver 'pcspkr' is already registered, aborting...
[    2.841612] Bluetooth: hci0: Failed to load Intel firmware file intel/ibt-0041-0041.sfi (-2)
[    2.843564] Bluetooth: hci0: Failed to read MSFT supported features (-56)
#+END_SRC

[2] Transcript of the image

#+BEGIN_SRC text
[    0.653362] ACPI BIOS Error (bug) Could not resolve symbol [\_SB.PCI0.GP17.MP2], AE_NOT_FOUND (20220331/psargs-330)
[    0.653362] ACPI Error: Aborting method \_SB.GPIO._EVT due to previous error (AE_NOT_FOUND) (20220331/psparse-529)
GC Warning: pthread_getattr_np or pthread_attr_getstack failed for main thread
GC Warning: Couldn't read /proc/stat
Welcome, this is GNU's early boot Guile
Use 'gnu.repl' for an initrd REPL.

loading kernel modules...
/dev/nvme0n1p2: recovering journal
/dev/nvme0n1p2: clean, 57135/62447616 files, 4508105/249788753 blocks
loading '/gnu/store/kxv4n6875qxs3n474j4inykhia0cc2kc-system/boot'...
making '/gnu/store/kxv4n6875qxs3n474j4inykhia0cc2kc-system' the current system...
setting up setuid programs in '/run/setuid-programs'...
populating /etc from /gnu/store/nhzrdb64v2z9rzmzi34d1r8sq1xw7cja-etc...
#+END_SRC

[3] Transcript of the image. The image shows a windows box with title "Hardware support warning" above the "GNU Guix Install" windows which prompts for the installation process (i.e. "graphical install using a terminal based interface' or "install using the shell based process"

#+BEGIN_SRC text
Devices not supported by free software were found on your computer:

- 1002 73df
- 8086 2725 (networking device)
- 1002 1638

Unfortunately, it means those devices will not be usable.

To address it, we recommend choosing hardware that respects your freedom as a user--hardware for which free drivers and firmware exist. See "Hardware Considerations" in the manual for more information.
#+END_SRC

Why my laptop gets stuck at that screen? http://web.archive.org/web/20240405022623/http://0x0.st/XioL.png (screen readers users, see [1])