Installation of NixOS with encrypted root These are my notes on instaling NixOS 16.03 on a Lenovo ThinkPad X1 Carbon (4th generation) with an encrypted root file system using UEFI. Most of this is scrambled from the following pages: Encrypted Root on NixOS - Nix Wiki Installing NixOS - Chris Martin Linux administration and use - Earl Douglas Installing NixOS on a ThinkPad W540 with encrypted root - Bluish Coder