{ lib, pkgs, ... }: {
  environment.systemPackages = [
    pkgs.adi1090x-plymouth-themes
  ];

  boot = {
    initrd.verbose = false;
    loader = {
      systemd-boot.enable = true;
      efi.canTouchEfiVariables = true;
    };
    
    kernelPackages = pkgs.linuxPackages_xanmod_stable;
    kernelParams = [
      "quiet"
      "splash"
      "boot.shell_on_fail"
      "udev.log_priority=3"
      "rc.systemd.show_status=auto"
    ];

    extraModprobeConfig = ''
      options bluetooth enable_ecred=1
    '';

    plymouth = {
      enable = true;
      theme = lib.mkForce "glitch";
      themePackages = [
        (pkgs.adi1090x-plymouth-themes.override { selected_themes = [ "glitch" ]; })
      ];
    };
    consoleLogLevel = 3;
    loader.timeout = 3;
  };
}