anchor.diff:    };
   
     klibc = import ../os-specific/linux/klibc {
  -    inherit fetchurl stdenv perl bison mktemp;
  -	kernel = systemKernel;
  +    inherit fetchurl stdenv perl bison mktemp kernel;
     };
   
     kvm = kvm49;
  
positive.code:         };
          extraConfig = "CONFIG_FB_SPLASH=y";
        }
      ];
      extraConfig =
        lib.optional (getConfig ["kernel" "timer_stats"] false) "CONFIG_TIMER_STATS=y" ++
        lib.optional (getConfig ["kernel" "no_irqbalance"] false) "# CONFIG_IRQBALANCE is not set" ++
        [(getConfig ["kernel" "addConfig"] "")];
    };
  
  
  
negative.code:     modules = [];
    };
  
    systemKernel = kernel;
  
    kernel = (if (getConfig ["kernel" "version"] "2.6.21") == "2.6.22" then
  	kernel_2_6_22 else if (getConfig ["kernel" "version"] "2.6.21") == "2.6.23" then
  	kernel_2_6_23 else kernel);
  
  