I used these instructions 1 to install NixOS alongside Windows on my X1C7
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.
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.