{
  pkgs,
  lib,
  ...
}: {
  boot = {
    kernelPackages = lib.mkDefault pkgs.linuxPackages_latest;

    kernelModules = ["ntsync"];
    initrd = {
      kernelModules = ["i915"];
      systemd.enable = true;
    };

    loader = {
      efi = {
        canTouchEfiVariables = true;
        efiSysMountPoint = "/boot";
      };
      grub = {
        enable = lib.mkDefault true;
        device = "nodev";
        useOSProber = lib.mkDefault false;
        efiSupport = true;
      };
      systemd-boot = {
        enable = false;
        consoleMode = "keep";
        configurationLimit = 5;
      };
    };

    plymouth = {
      enable = false;
      theme = "deus_ex";
      themePackages = [
        (pkgs.adi1090x-plymouth-themes.override {
          selected_themes = ["deus_ex"];
        })
      ];
    };
  };

  fileSystems."/boot".options = ["fmask=0077" "dmask=0077"];
}