Coi bộ cái chiêu này của NixOS ngắn gọn nhưng chưa biết ứng xài vô Arch thì có linh hay không nè: (trích trong http://nixos.org/nixos/manual/#ch-installation)
1.2.1. UEFI Installation NixOS can also be installed on UEFI systems. The procedure is by and large the same as a BIOS installation, with the following changes: You should boot the live CD in UEFI mode (consult your specific hardware's documentation for instructions). Instead of fdisk, you should use gdisk to partition your disks. You will need to have a separate partition for /boot with partition code EF00, and it should be formatted as a vfat filesystem. You must set boot.loader.gummiboot.enable to true. nixos-generate-config should do this automatically for new configurations when booted in UEFI mode. You may want to look at the options starting with boot.loader.efi and boot.loader.gummiboot as well. To see console messages during early boot, add "fbcon" to your boot.initrd.kernelModules.