anchor.diff:    ###### interface
   
     options = {
  -  
  +
       boot.loader.grub = {
   
         enable = mkOption {
           default = true;
           description = ''
  -          Whether to enable the GRUB boot loader.
  +          Whether to enable the GNU GRUB boot loader.
           '';
         };
   
  
positive.code:       device = mkOption {
          default = "";
          example = "/dev/hda";
          description = "
            The device on which the boot loader, Grub, will be installed.
            If empty, Grub won't be installed and it's your responsibility
            to make the system bootable.
          ";
        };
  
        bootDevice = mkOption {
          default = "";
          example = "(hd0,0)";
          description = "
            If the system partition may be wiped on reinstall, it is better
            to have /boot on a small partition. To do it, we need to explain
            to GRUB where the kernels live. Specify the partition here (in 
            GRUB notation).
          ";
        };
  
        configurationName = mkOption {
          default = "";
          example = "Stable 2.6.21";
          description = "
            Grub entry name instead of default.
          ";
        };
  
        extraEntries = mkOption {
          default = "";
          example = "
            title Windows
              chainloader (hd0,1)+1
          ";
          description = "
            Any additional entries you want added to the Grub boot menu.
          ";
        };
  
        extraEntriesBeforeNixOS = mkOption {
          default = false;
          description = "
            Whether extraEntries are included before the default option.
          ";
        };
  
        splashImage = mkOption {
  
negative.code:             sha256 = "0y8fvxalwxyid4k438k7c21bnv728qjsb92rqfapsmpv2bcj7f6k";
            };
          example = null;
          description = ''
            Background image used for GRUB.  It must be a 640x480,
            14-colour image in XPM format, optionally compressed with
            <command>gzip</command> or <command>bzip2</command>.  Set to
            <literal>null</literal> to run GRUB in text mode.
          '';
        };
  
        configurationLimit = mkOption {
          default = 100;
          example = 120;
          description = ''
            Maximum of configurations in boot menu. GRUB has problems when
            there are too many entries.
          '';
        };
  
        copyKernels = mkOption {
          default = false;
          description = ''
            Whether the GRUB menu builder should copy kernels and initial
            ramdisks to /boot.  This is necessary when /nix is on a
            different file system than /boot.
          '';
        };
  
      };
  
    };
  