{ ... }:
{
  # Grub bootloader
  boot.loader = {
    timeout = 0;
    efi.canTouchEfiVariables = true;
    grub = {
      enable = true;
      efiSupport = true;
      default = "saved";
      device = "nodev";
      splashImage = null;
      extraConfig = ''set timeout_style=hidden'';

      # other menu entries
      extraEntries =
        ''menuentry "System shutdown" {
  	   halt
         }

         menuentry "System restart" {
	   reboot
         }

         menuentry 'UEFI Firmware Settings' --id 'uefi-firmware' {
	   fwsetup
         }'';
    };
  };
}