Finish thinkpad x1 post.

1 files changed, 205 insertions, 30 deletions

diff --git a/posts/2022-12-05-guix-thinkpad-x1-10th-gen.md b/posts/2022-12-05-guix-thinkpad-x1-10th-gen.md
index c73efbe..2619182 100644
--- a/posts/2022-12-05-guix-thinkpad-x1-10th-gen.md
+++ b/posts/2022-12-05-guix-thinkpad-x1-10th-gen.md
@@ -1,6 +1,6 @@
-title: Setting up Guix on a 10th gen Thinkpad X1
-date: 2022-12-05 12:00:00
-tags: guix, thinkpad
+title: Installing Guix on a 10th gen Thinkpad X1
+date: 2022-12-05 11:00:00
+tags: guix, thinkpad, free software
 summary: A document of my experience setting up Guix on a new Thinkpad X1
 ---
 
@@ -13,7 +13,9 @@ generation Thinkpad X1 with an Intel Core i7-1280P CPU, 32GB RAM, and
 still really happy with it and glad I chose it.  Despite the keyboard
 changes, the TrackPoint™ is still there and I don’t think I could feel
 good using a laptop without it.  Below I will explain all the steps I
-took to get the Guix distribution setup nicely on it.
+took to get the Guix distribution setup nicely on it.  Maybe it can
+help you setup your own Thinkpad X1 or some other computer that
+requires more than what Guix provides for all of the hardware to work.
 
 ## But first, a tangent about proprietary firmware
 
@@ -30,43 +32,44 @@ by proprietary firmware.  After an exhaustive search of the laptops
 that can run without any proprietary software blobs (such as the
 Librem 14), I wasn't really feeling good about buying any of them.
 Newer generations of the Intel Core line of CPUs with new integrated
-Xe graphics hardware now require proprietary firmware.  Intel wireless
-cards have required proprietary firmware for a long time.  Even Intel
-sound hardware requires proprietary firmware!  Then, there's the
-longstanding CPU microcode update issue.  Linux-libre removes
-microcode updates, which are all proprietary, so users of Linux-libre
-do not receive critical security fixes to CPU-level vulnerabilities.
-Of laptops that were Linux-libre compatible, the Librem 14 seemed the
-best. It uses older Intel 10th gen Core CPUs, the last generation that
-can be used with Linux-libre and still have hardware accelerated
-graphics.
+Iris Xe graphics hardware now require proprietary firmware.  Intel
+wireless cards have required proprietary firmware for a long time.
+Even Intel sound hardware requires proprietary firmware!  Then,
+there's the longstanding CPU microcode update issue.  Linux-libre
+removes microcode updates, which are all proprietary, so users of
+Linux-libre do not receive critical security fixes to CPU-level
+vulnerabilities.  Of laptops that were Linux-libre compatible, the
+Librem 14 seemed the best. It uses older Intel 10th gen Core CPUs, the
+last generation that can be used with Linux-libre and still have
+hardware accelerated graphics.
 
 While I would certainly like a world where all devices were run with
 free/open firmware, I've come to find this "no proprietary firmware"
 stance of the GNU Free Distribution Guidelines to be a hindrance to
-the spread and adoption of free software.  The FSF's (really, RMS's)
+the spread and adoption of free software.  The FSF's (really RMS's)
 stance on the firmware issue isn't exactly based on a solid foundation
 anyway.  Firmware on nearly every device is proprietary, but most
 devices have the firmware “baked in” and do not need it loaded at
 system boot time.  So, from the FSF's perspective, we can make an
 abstraction: A device may or may not have proprietary firmware on it,
-but if we never have to load firmware then we can treat it as if it
-were hardware.  It's only once the kernel gets involved that
+but if we never have to load that firmware then we can treat it as if
+it were hardware.  It's only once the kernel gets involved that
 proprietary firmware becomes an issue, because the hardware maker now
 has the opportunity to provide malicious firmware updates.  Okay, I
 get the abstraction and the potential risk, but it feels like a cop
 out.  The lack of CPU microcode updates on fully free systems is the
-most damning evidence that this stance is a net-negative that I’m
-aware of.  All of those users (myself included, on many past
-computers) are vulnerable to well-known issues that are patched in
-microcode updates!  I'm a big free software guy, but we don't have our
-priorities straight here.  Lack of firmware is *the biggest* blocker
-for people who *want* to use as much free software as possible.  They
-often attempt to install a fully free distro only to find out that
-they can’t connect to the Internet because their wireless card
-requires a blob and our answer is “buy new hardware.”  I think we need
-to make a tactical retreat from the firmware battle and meet people
-where they are at.
+most damning evidence I've seen that this stance is a net-negative for
+users and for the free software movement.  All of those users (myself
+included, on many past computers) are vulnerable to well-known issues
+that are patched in microcode updates!  I'm a big free software guy,
+but we don't have our priorities straight here.  Lack of firmware is
+*the biggest* blocker for people who *want* to use as much free
+software as possible.  They often attempt to install a fully free
+distro only to find out that they can’t connect to the Internet
+because they have an Intel wireless card that requires a blob and our
+answer is “Sorry, buy new hardware.”  I think we need to make a
+tactical retreat from the firmware battle and meet people where they
+are at.
 
 Anyway, I decided to abandon Linux-libre.  While Guix itself does not
 provide vanilla Linux (with firmware blobs), Guix allows for adding
@@ -76,6 +79,178 @@ have Linux and a bunch of other stuff, like Firefox.  It’s very nice
 and I recommend it!  Thanks to the good folks who maintain it!  Guix
 should drop the FSDG requirements!  RMS will be mad but that’s okay!
 
-## Initial barebones installation
+Okay, off the soapbox and onto the installation process!
 
-## Full installation
+## Download installer
+
+I used the [latest
+installer](https://guix.gnu.org/en/download/latest/) rather than the
+standard one because Guix goes a long time between releases and I
+wanted the freshest stuff.
+
+```shell
+wget https://ci.guix.gnu.org/search/latest/ISO-9660?query=spec:images+status:success+system:x86_64-linux+image.iso
+```
+
+## Install to flash drive
+
+I used good ol' disk destroyer to write the ISO image onto a flash
+drive:
+
+```shell
+sudo dd if=guix.iso of=/dev/sda bs=16M
+sudo sync
+```
+
+## Boot from the flash drive
+
+*Important note*: I had the laptop connected to a dock with an
+Ethernet cable attached.  This is critical because the official Guix
+installer uses Linux-libre, so the wireless card will not work.  It is
+possible to build your own installation image using the instructions
+in the nonguix `README`, but using an Ethernet connection for the
+initial install is a lot easier.
+
+This may be self-explanatory but for completeness, I did this:
+
+* Booted Thinkpad.
+* Pressed `ENTER` to interrupt normal startup.
+* Pressed `F12` to select temporary boot device.
+* Chose flash drive.
+* Pressed `ENTER` at GRUB screen to boot into the installer.
+
+## Installer and initial system bootstrap
+
+The Guix installer has gotten quite nice.  It's an ncurses interface,
+not a fancy GTK one, but all the important stuff worked.
+
+I did the following:
+
+* Selected `Graphical install using a terminal based interface`.
+* Did not select a desktop environment.  Again, because Linux-libre is
+  being used, the Intel Iris Xe graphics will not function, so a
+  desktop environment will be saved for a later step.
+* Selected the pre-configured full disk + encryption partitioning
+  configuration.
+
+Once installation was complete, I removed the flash drive and ran
+`reboot` to reboot into the installed Guix system.
+
+*Note*: When using full disk encryption, Guix is a little annoying in
+that you have to enter the decryption password *twice*.  Once to get
+to the GRUB menu, and once more to get to the login screen.
+
+## Add nonguix channel
+
+I wrote the following to `~/.config/guix/channels.scm`:
+```scheme
+(cons* (channel
+        (name 'nonguix)
+        (url "https://gitlab.com/nonguix/nonguix")
+        (introduction
+         (make-channel-introduction
+          "897c1a470da759236cc11798f4e0a5f7d4d59fbc"
+          (openpgp-fingerprint
+           "2A39 3FFF 68F4 EF7A 3D29  12AF 6F51 20A0 22FB B2D5"))))
+       %default-channels)
+```
+
+To activate the nonguix channel, I did this:
+
+* Ran `guix pull`.
+* Ran `hash guix` to ensure that running `guix` uses the newly pulled
+  Guix.  This is a subtle thing that confuses people sometimes,
+  including myself!
+* Ran `guix describe` to verify that the nonguix channel shows up in
+  the channel list.
+
+Having the channel activated is great, but to avoid compiling Linux
+from source I had to also enable Guix to download substitutes from the
+nonguix substitute server:
+
+```shell
+wget https://substitutes.nonguix.org/signing-key.pub
+mv signing-key.pub nonguix-signing-key.pub
+sudo guix archive --authorize < nonguix-signing-key.pub
+```
+
+## Reconfigure system with Linux and GNOME
+
+This is the OS configuration I ended up with:
+
+```scheme
+(use-modules (gnu)
+             (gnu services desktop)
+             (nongnu packages linux)
+             (nongnu system linux-initrd))
+
+(operating-system
+ ;; Use regular Linux with the big bad proprietary firmware blobs.
+ (kernel linux)
+ (initrd microcode-initrd)
+ ;; sof-firmware is required for sound to work, linux-firmware takes
+ ;; care of everything else.
+ (firmware (list sof-firmware linux-firmware))
+ (locale "en_US.utf8")
+ (timezone "America/New_York")
+ (keyboard-layout (keyboard-layout "us"))
+ (host-name "ikaruga")
+ (users (cons* (user-account
+                (name "dave")
+                (comment "David Thompson")
+                (group "users")
+                (home-directory "/home/dave")
+                (supplementary-groups '("wheel" "netdev" "audio" "video")))
+               %base-user-accounts))
+ (packages (append (list (specification->package "nss-certs"))
+                   %base-packages))
+ (services (modify-services (cons (service gnome-desktop-service-type)
+				  %desktop-services)
+	     ;; Get nonguix substitutes.
+	     (guix-service-type config =>
+				(guix-configuration
+				 (inherit config)
+				 (substitute-urls
+				  (append (list "https://substitutes.nonguix.org")
+					  %default-substitute-urls))
+				 (authorized-keys
+				  (append (list (local-file "./nonguix-signing-key.pub"))
+					  %default-authorized-guix-keys))))))
+ (bootloader (bootloader-configuration
+              (bootloader grub-efi-bootloader)
+              (targets (list "/boot/efi"))
+              (keyboard-layout keyboard-layout)))
+ (mapped-devices (list (mapped-device
+                        (source (uuid
+                                 "02b1ffb4-d868-4e5f-ab9b-8be3092e3a3c"))
+                        (target "cryptroot")
+                        (type luks-device-mapping))))
+ (file-systems (cons* (file-system
+                       (mount-point "/boot/efi")
+                       (device (uuid "91D3-F76B"
+                                     'fat32))
+                       (type "vfat"))
+                      (file-system
+                       (mount-point "/")
+                       (device "/dev/mapper/cryptroot")
+                       (type "ext4")
+                       (dependencies mapped-devices))
+		      %base-file-systems)))
+```
+
+To reconfigure the system using nonguix for the first time, the
+nonguix substitute server must be passed using a command line flag.
+Subsequent updates do not require this because the OS configuration
+above includes the relevant configuration for the Guix service to use
+nonguix substitutes automatically.
+
+This is what I ran:
+
+```shell
+sudo -E guix system reconfigure config.scm --substitute-urls='https://ci.guix.gnu.org https://bordeaux.guix.gnu.org https://substitutes.nonguix.org'
+```
+
+When I rebooted, I was greeted by the GDM login screen.  Success!
+
+Hope this is helpful to someone out there, or at least my future self
+who has long since forgotten how to do a fresh install!