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.modinst_arg_list_too_long
                            realtimePatches.realtimePatch_4_11
                          ];
          extraConfig   = musnixRealtimeKernelExtraConfig + optionalString cfg.kernel.optimize kernelConfigOptimizeDeadline;
        };
  
        linux_4_13_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-4.13-rt.nix {
  
negative.code: { config, lib, pkgs, ... }:
  
  with lib;
  with lib.kernel;
  
  let
  
    cfg = config.musnix;
  
    standardConfig = version: with (lib.kernel.whenHelpers version);
      optionalAttrs cfg.kernel.latencytop {
        LATENCYTOP = yes;
        SCHEDSTATS = yes;
      } //
      optionalAttrs cfg.kernel.optimize {
        PREEMPT = yes;
        # DEADLINE was renamed to MT_DEADLINE and enabled by default.
        IOSCHED_DEADLINE = whenOlder "5" yes;
        DEFAULT_DEADLINE = whenOlder "5" yes;
        DEFAULT_IOSCHED = whenOlder "5" (freeform "deadline");
      };
  
    realtimeConfig = version:
      (standardConfig version) // {
        PREEMPT = yes;
        PREEMPT_RT_FULL = yes;
      };
  
  in {
    options.musnix = {
  