{ config, pkgs, aspect, inputs, hosts, ... }:

{
  imports = [ 
    ./hardware-configuration.nix
    ./extras/i915-dp-hdmi-always-full-color-patch.nix
    ./extras/kernel-clr.nix
    ./extras/thermal.nix
    (import ../../users "desktop").users.max
    inputs.nixos-hardware.nixosModules.dell-xps-13-7390
    inputs.agenix.nixosModules.age
  ]
  ++ aspect.sets.laptop
  ++ (with aspect.modules; [ games ]);

  boot.kernelPackages = pkgs.linuxPackages_5_17;

  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = true;

  networking.hostName = "jericho";

  time.timeZone = "Europe/Vienna";

  i18n.defaultLocale = "en_US.UTF-8";
  console = {
    font = "";
    keyMap = "us";
  };

  services.xserver.layout = "us";

  services.xserver.libinput.enable = true;

  services.openssh.enable = true;

  system.stateVersion = "20.09";

  services.fstrim.enable = true;

  services.ipfs.dataDir = "/srv/data/ipfs";
}