{ nixpkgs.hostPlatform = { system = "x86_64-linux"; gcc = { arch = "x86-64-v3"; tune = "generic"; }; }; }