{ pkgs, config, ... }: {
  # 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 ];
}