anchor.diff:        pkgs.upstart # for initctl
       ];
       upstartInterfaceVersion = pkgs.upstart.interfaceVersion;
  -    # This attribute is responsible for creating boot entries for 
  -    # child configuration. They are only (directly) accessible
  -    # when the parent configuration is boot default. For example,
  -    # you can provide an easy way to boot the same configuration 
  -    # as you use, but with another kernel
  -    children = map (x: ((import ./system.nix) 
  -      { inherit platform; 
  -        configuration = x//{boot=((x.boot)//{grubDevice = "";});};}).system) 
  -      config.nesting.children; 
  -    configurationName = config.boot.configurationName;
     }) config.environment.checkConfigurationOptions
        optionDeclarations config;
   
  
positive.code:     inherit grubMenuBuilder;
      inherit etc;
      inherit systemPath;
      kernel = kernel + "/vmlinuz";
      initrd = initialRamdisk + "/initrd";
      # Most of these are needed by grub-install.
  
negative.code:   # system configurations.
    grubMenuBuilder = config.system.build.grubMenuBuilder;
  
    # This attribute is responsible for creating boot entries for 
    # child configuration. They are only (directly) accessible
    # when the parent configuration is boot default. For example,
    # you can provide an easy way to boot the same configuration 
    # as you use, but with another kernel
    children = map (x: ((import ./system.nix) 
      { inherit platform; 
        configuration = x//{boot=((x.boot)//{grubDevice = "";});};}).system) 
      config.nesting.children; 
    configurationName = config.boot.configurationName;
  
    # Putting it all together.  This builds a store object containing
    # symlinks to the various parts of the built configuration (the
  