{ config, pkgs, lib, ... }:

{
  #################################
  # Bootloader (UEFI + GRUB)
  #################################
  boot.loader = {
    efi = {
      canTouchEfiVariables = true;
      efiSysMountPoint = "/boot";  # matches your hardware-config
    };

    grub = {
      enable = true;
      efiSupport = true;
      device = "nodev";            # correct for UEFI
      useOSProber = true;
    };

    timeout = 5;
  };

  #################################
  # Kernel
  #################################
  boot.kernelPackages = pkgs.linuxPackages_latest;

  boot.kernelParams = [
    "quiet"
    "splash"
    "udev.log_level=3"
    "rd.systemd.show_status=false"
  ];

  boot.consoleLogLevel = 0;

  #################################
  # Filesystems support
  #################################
  boot.supportedFilesystems = [ "ntfs" ];

  #################################
  # Plymouth (boot splash)
  #################################
  boot.plymouth = {
    enable = true;
    theme = "rings";

    themePackages = [
      (pkgs.adi1090x-plymouth-themes.override {
        selected_themes = [ "rings" ];
      })
    ];
  };

  #################################
  # Initrd (faster + modern)
  #################################
  boot.initrd.systemd.enable = true;

  #################################
  # Microcode (Intel CPU)
  #################################
  hardware.cpu.intel.updateMicrocode =
    lib.mkDefault config.hardware.enableRedistributableFirmware;
}