{ config, pkgs, ... }: { 
    # Bootloader
    boot.loader.efi.canTouchEfiVariables = true;
    boot.tmp.cleanOnBoot = true;
    boot.initrd.systemd.enable = true;
    boot.kernelParams = ["quiet"];

  # Plymouth splash screen 
  boot.plymouth.enable = true;
  # https://github.com/adi1090x/plymouth-themes
  boot.plymouth.theme = "red_loader";
  boot.plymouth.themePackages = [ pkgs.adi1090x-plymouth-themes ];
 }