Targeting particular x86_64 generation (haswell/ivybridge/skylake/...)

[volth]

in /etc/nix/configuration.nix

  nixpkgs.localSystem.platform  = lib.systems.platforms.pc64 // {
    gcc.arch = "skylake";
    gcc.tune = "skylake";
  };