{ lib, config, pkgs, ...}: {
  boot.lanzaboote.enable = true;
  boot.lanzaboote.pkiBundle = "/etc/secureboot";

  # 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 ];
}