NixOS for x86_64

NixOS now works on x86_64 machines. A 64-bit ISO is available.