{ pkgs, ... }: {
  boot = {
    loader = {
      systemd-boot.enable = true;
      efi.canTouchEfiVariables = true;
    };
    
    kernelPackages = pkgs.linuxPackages_xanmod_stable;

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