{
  config,
  pkgs,
  lib,
  flakes,
  ...
}: {
  imports = [
    flakes.home-manager.nixosModules.home-manager
    flakes.impermanence.nixosModule
    ./hardware-configuration.nix
  ];

  local.sys = {
    defaultDesktopPack.enable = true;

    yubikey.enable = true;
    bluetooth.enable = true;
  };

  trivium = {
    laptop.enable = true;
    thinkpad.enable = true;
  };

  services = {
    fwupd.enable = true; #TODO
    pcscd.enable = true; #TODO
  };

  hardware.acpilight.enable = true;

  networking.hostName = "t14";

  boot = {
    loader = {
      systemd-boot.enable = true;
      efi.canTouchEfiVariables = true;
    };
    tmp.useTmpfs = true;
    kernelPackages = pkgs.linuxPackages_latest;
  };

  time.timeZone = "America/Costa_Rica";
}