anchor.diff:                            kernelPatches.modinst_arg_list_too_long
                             realtimePatches.realtimePatch_4_13
                           ];
  -        extraConfig   = musnixRealtimeKernelExtraConfig + optionalString cfg.kernel.optimize kernelConfigOptimizeDeadline;
  +        structuredExtraConfig = realtimeConfig "4.13";
         };
   
         linux_4_14_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-4.14-rt.nix {
  
positive.code: { config, lib, pkgs, ... }:
  
  with lib;
  
  let
  
    cfg = config.musnix;
  
    kernelConfigLatencyTOP = ''
      LATENCYTOP y
      SCHEDSTATS y
    '';
  
    kernelConfigOptimizeDeadline = ''
      IOSCHED_DEADLINE y
      DEFAULT_DEADLINE y
      DEFAULT_IOSCHED deadline
    '';
  
    kernelConfigOptimize = ''
      HPET_TIMER y
      TREE_RCU_TRACE? n
      RT_GROUP_SCHED? n
    '';
  
    kernelConfigRealtime = ''
      PREEMPT y
      PREEMPT_RT_FULL y
      RT_GROUP_SCHED? n
    '';
  
    musnixRealtimeKernelExtraConfig =
      kernelConfigRealtime
      + optionalString cfg.kernel.optimize kernelConfigOptimize
      + optionalString cfg.kernel.latencytop kernelConfigLatencyTOP;
  
    musnixStandardKernelExtraConfig =
      if cfg.kernel.optimize
        then "PREEMPT y\n"
             + kernelConfigOptimize
             + optionalString cfg.kernel.latencytop kernelConfigLatencyTOP
        else if cfg.kernel.latencytop
          then kernelConfigLatencyTOP
          else "";
  
  in {
    options.musnix = {
  
negative.code:                           kernelPatches.modinst_arg_list_too_long
                            realtimePatches.realtimePatch_4_14
                          ];
          structuredExtraConfig = realtimeConfig "4.14";
        };
  
        linux_4_16_rt = callPackage ../pkgs/os-specific/linux/kernel/linux-4.16-rt.nix {
  