Installing NixOS on X1 Carbon Gen 7

I used these instructions1 to install NixOS alongside Windows.

Note the following:

  • Disable Secure Boot in BIOS. NixOS won’t boot otherwise.
  • Use nixos-unstable and choose the latest kernel (linuxPackages_latest)

As usual, refer to the Arch wiki for details.

See my configuration.nix for full NixOS config.

  1. Note that you can use the builtin Windows disk manager to resize the partition. No need to install a third party app as this article indicates.

    ↩︎