gistfile1.txt

      #xfce = pkgs.xfce // rec {
      #  xfce4mixer = pkgs.xfce.xfce4mixer.override { pulseaudioSupport = false; };
      #  xfce4panel = pkgs.xfce.xfce4panel.override { inherit xfce4mixer; };
      #  thunar-build = pkgs.xfce.thunar-build.override { inherit xfce4panel; };
      #};
      #linux_4_4 = pkgs.linux_4_4.override {
        #extraConfig = ''
        #SCHEDSTATS y
        #LATENCYTOP y
        #'';
        #};
      XXXlinux_4_9 = pkgs.linux_4_9.override {
        extraConfig = ''
          NF_CT_PROTO_DCCP n
          NF_NAT_PROTO_DCCP n
          NETFILTER_XT_MATCH_DCCP n
          IP_DCCP n
          INET_DCCP_DIAG n
          NET_DCCPPROBE n
        '';
      };