bug#53712: Guix System hangs after boot with linux-libre 5.15.17

[Leo Famulari <leo@famulari.name>]

[-- Attachment #1: Type: text/plain, Size: 716 bytes --]

On Tue, Feb 01, 2022 at 04:11:27PM -0500, Maxim Cournoyer wrote:
> Not sure if that helps, but my system is running smoothly on 5.15.18 as
> I write this.  What are the specifics of your system?

Interestingly, for me 5.15.18 does boot to an interactive console, but
the system fails to bring up the wifi interface, and then it fails to
halt upon command, just hanging forever. At least, it did that for the 3
times I tried using that generation.

This is a Thinkpad x200s with 3 GB RAM. Normal BIOS. I've attached the
operating-system declaration.

There are similar reports on #guix IRC from two other users:

http://logs.guix.gnu.org/guix/2022-01-31.log#152606
http://logs.guix.gnu.org/guix/2022-01-30.log#005034

[-- Attachment #2: system.scm --]
[-- Type: text/plain, Size: 3793 bytes --]

;; This is an operating system configuration template
;; for a "bare bones" setup, with no X11 display server.

(use-modules (gnu))
(use-service-modules networking
                     desktop
                     dbus
                     ssh)
(use-package-modules admin
                     certs
                     curl
                     linux
                     ntp
                     nvi
                     ssh
                     rsync
                     tmux
                     version-control
                     wicd
                     vim)

(operating-system
  (host-name "zamia")
  (timezone "America/New_York")
  (locale "en_US.UTF-8")

  (kernel-loadable-modules (list rtl8812au-aircrack-ng-linux-module))
  (kernel-arguments
   '(;; Console resolution
     "gfxpayload=1440x900x16,1440x900"

     ;; console cursor. stops the blinking but the colors are bad
     "vt.cur.default=0x520032"

     "consoleblank=120"
     ;; ???
     "quiet"
     ;; Disable the PC speaker
     "modprobe.blacklist=pcspkr,snd_pcsp"))

  ;; Assuming /dev/sdX is the target hard disk, and "my-root" is
  ;; the label of the target root file system.
  (bootloader (grub-configuration (target "/dev/sda")
                                  (terminal-outputs '(console))))
  (file-systems (cons* (file-system
                        (device (uuid "0pa2dcd8-e037-43fb-b0cc-9ec5bcc3127a"))
                        (mount-point "/")
                        (type "btrfs")
                        (options "compress-force=zstd"))
                       (file-system
                        (device (uuid "9p614cc2-af95-482a-b906-ebc958ed57b7"))
                        (mount-point "/home")
                        (type "btrfs")
                        (options "compress-force=zstd"))

		       ; This will break the boot
		       ; <https://bugs.gnu.org/35472>
;		       (file-system
;			 (device "/foo/bar")
;			 (mount-point "/bar")
;			 (type "none")
;			 (check? #f)
;			 (needed-for-boot? #t)
;			 (flags '(bind-mount)))
                      %base-file-systems))

  ;; This is where user accounts are specified.  The "root"
  ;; account is implicit, and is initially created with the
  ;; empty password.
  (users (append (list (user-account
                         (name "leo")
                         (group "users")
                         ;; Adding the account to the "wheel" group
                         ;; makes it a sudoer.  Adding it to "audio"
                         ;; and "video" allows the user to play sound
                         ;; and access the webcam.
                         (supplementary-groups '("wheel" "netdev" "audio"))))
               %base-user-accounts))

  ;; Globally-installed packages.
  (packages (append (list curl
                          atop htop
                          git
                          openssh mosh
                          nss-certs
                          ntp
                          rsync
                          tmux
                          tree
                          vim nvi)
                    %base-packages-disk-utilities
                    %base-packages))

  (services
    (append
      (list (dbus-service)
            (service gpm-service-type)
            (service openssh-service-type
                       (openssh-configuration
                         (password-authentication? #f)))
            (service ntp-service-type)
	    (service wicd-service-type wicd)
            (elogind-service))
       (modify-services %base-services
         (guix-service-type config =>
                            (guix-configuration
                              (inherit config)
                              (substitute-urls
                                '("https://custom.example.com"))))))))