anchor.diff:          NOTE: Enabling this option will rebuild your kernel.
   
           If enabled, this option will configure the kernel to be
  -        preemptible, to use the deadline I/O scheduler, and to use
  -        the High Precision Event Timer (HPET).
  +        preemptible and use the deadline I/O scheduler.
         '';
       };
       kernel.realtime = mkOption {
  
positive.code:         kernelPatches = [ kernelPatches.bridge_stp_helper
                            realtimePatches.realtimePatch_3_18
                          ];
          extraConfig   = musnixRealtimeKernelExtraConfig + optionalString cfg.kernel.optimize kernelConfigOptimizeDeadline;
        };
  
        linux_4_1_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-4.1-rt.nix {
          kernelPatches = [ kernelPatches.bridge_stp_helper
                            realtimePatches.realtimePatch_4_1
                          ];
          extraConfig   = musnixRealtimeKernelExtraConfig + optionalString cfg.kernel.optimize kernelConfigOptimizeDeadline;
        };
  
        linux_4_4_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-4.4-rt.nix {
          kernelPatches = [ kernelPatches.bridge_stp_helper
                            realtimePatches.realtimePatch_4_4
                          ];
          extraConfig   = musnixRealtimeKernelExtraConfig + optionalString cfg.kernel.optimize kernelConfigOptimizeDeadline;
        };
  
        linux_4_9_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-4.9-rt.nix {
  
negative.code:                           kernelPatches.modinst_arg_list_too_long
                            realtimePatches.realtimePatch_4_16
                          ];
          structuredExtraConfig = realtimeConfig "4.16";
        };
        linux_4_18_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-4.18-rt.nix {
          kernelPatches = [ kernelPatches.bridge_stp_helper
                            kernelPatches.modinst_arg_list_too_long
                            realtimePatches.realtimePatch_4_18
                          ];
          structuredExtraConfig = realtimeConfig "4.18";
        };
        linux_4_19_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-4.19-rt.nix {
          kernelPatches = [ kernelPatches.bridge_stp_helper
                            kernelPatches.modinst_arg_list_too_long
                            realtimePatches.realtimePatch_4_19
                          ];
          structuredExtraConfig = realtimeConfig "4.19";
        };
        linux_5_0_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-5.0-rt.nix {
          kernelPatches = [ kernelPatches.bridge_stp_helper
                            kernelPatches.modinst_arg_list_too_long
                            realtimePatches.realtimePatch_5_0
                          ];
          structuredExtraConfig = realtimeConfig "5.0";
        };
  
  
  
        linux_opt = linux.override {
          structuredExtraConfig = standardConfig linux.version;
        };
  
        linuxPackages_3_18_rt = recurseIntoAttrs (linuxPackagesFor linux_3_18_rt);
  