{
  # Use the systemd-boot EFI boot loader.
  boot.loader.timeout = 0;
  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = false;
  boot.plymouth.enable = true;
  boot.kernelParams = ["quiet"];
}