anchor.diff:          example = "1024x768";
           type = types.str;
           description = ''
  -          The gfxmode to pass to grub when loading a graphical boot interface under efi.
  +          The gfxmode to pass to GRUB when loading a graphical boot interface under EFI.
           '';
         };
   
  
positive.code:         }
        ] ++ flip map args.devices (device: {
          assertion = device == "nodev" || hasPrefix "/" device;
          message = "Grub devices must be absolute paths, not ${dev} in ${args.path}";
        }));
      })
  
  
negative.code:         default = false;
          type = types.bool;
          description = ''
            Enable support for encrypted partitions. GRUB should automatically
            unlock the correct encrypted partition and look for filesystems.
          '';
        };
  
        enableTrustedBoot = mkOption {
          default = false;
          type = types.bool;
          description = ''
            Enable trusted boot. GRUB will measure all critical components during
            the boot process to offer TCG (TPM) support.
          '';
        };
  