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

{

  imports = [
    ./hardware-configuration.nix
  ];

  deployment.allowLocalDeployment = true;

  ctucxConfig.monitoring.exporters.enable = true;

  # Use the systemd-boot EFI boot loader.
  boot = {
    loader.systemd-boot.enable = true;
    loader.efi.canTouchEfiVariables = true;

    kernelParams   = [ "fbcon=rotate:1" ];
    kernelPackages = pkgs.linuxPackages_latest;
    kernelPatches  = [
      {
        name = "fix DSI init";
        patch = ./0001-drm-i915-dsi-Go-back-to-the-previous-INIT_OTP-DISPLA.patch;
      }
    ];
  };

  networking.wireless.iwd = {
    enable = true;
    settings = {
      IPv6 = {
        Enabled = true;
      };
      Settings = {
        AutoConnect = true;
      };
    };
  };

  services.openssh.enable = true;

  system.stateVersion = "23.11";
  home-manager.users.leah.home.stateVersion = "23.11";

}