anchor.diff:    # 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
  
positive.code:     inherit grubMenuBuilder;
      inherit etc;
      inherit systemPath;
      kernel = kernel + "/vmlinuz";
      initrd = initialRamdisk + "/initrd";
      # Most of these are needed by grub-install.
  
negative.code:       pkgs.upstart # for initctl
      ];
      upstartInterfaceVersion = pkgs.upstart.interfaceVersion;
    }) config.environment.checkConfigurationOptions
       optionDeclarations config;
  
  