add t14 sys platform

sys/platforms/posixlycorrect/default.nix

@@ -19,6 +19,7 @@
     graphics.enable = true;
     virtualisation.enable = true;
     androidSupport.enable = true;
+
     users = {
       fabian = {
         enable = true;
@@ -47,7 +48,7 @@
   };
 
   # Select internationalisation properties.
-  i18n.defaultLocale = "en_US.UTF-8";
+  i18n.defaultLocale = "en_US.UTF-8"; #todo: move to baseline?
 
-  time.timeZone = "America/Costa_Rica";
+  time.timeZone = "America/Costa_Rica"; #todo: move to baseline?
 }

sys/platforms/t14/default.nix

@@ -0,0 +1,68 @@
+{
+  config,
+  pkgs,
+  lib,
+  flakes,
+  ...
+}: {
+  imports = [
+    flakes.home-manager.nixosModules.home-manager
+    flakes.impermanence.nixosModule
+    ./hardware-configuration.nix
+  ];
+
+  local.sys = {
+    baseline.enable = true;
+
+    yubikey.enable = true;
+    audio.enable = true;
+    graphics.enable = true;
+    androidSupport.enable = true;
+    bluetooth.enable = true;
+
+    users = {
+      fabian = {
+        enable = true;
+        unixId = 1002;
+      };
+      vanessa.enable = true;
+    };
+  };
+
+  networking = {
+    hostName = "t14";
+    networkmanager.enable = true;
+
+    useDHCP = false; # The global useDHCP flag is deprecated, therefore explicitly set to false here.
+    interfaces.enp7s0.useDHCP = true; # Per-interface useDHCP will be mandatory in the future, so this generated config
+    interfaces.wlp6s0.useDHCP = true; # replicates the default behaviour.
+  };
+
+  boot = {
+    loader = {
+      systemd-boot.enable = true;
+      efi.canTouchEfiVariables = true;
+    };
+    tmp.useTmpfs = true;
+    kernelPackages = pkgs.linuxPackages_latest;
+  };
+
+  # Select internationalisation properties.
+  i18n.defaultLocale = "en_US.UTF-8"; #todo: move to baseline?
+
+  time.timeZone = "America/Costa_Rica"; #todo: move to baseline?
+
+  ###### MODULARIZE AFTER THIS
+
+  services = {
+    fwupd.enable = true;
+    thinkfan.enable = true;
+    tlp.enable = true;
+    tp-auto-kbbl.enable = true;
+    pcscd.enable = true;
+  };
+
+  hardware.acpilight.enable = true;
+
+  services.fprintd.enable = true;
+}

sys/platforms/t14/hardware-configuration.nix

@@ -0,0 +1,62 @@
+{
+  config,
+  lib,
+  pkgs,
+  flakes,
+  modulesPath,
+  ...
+}: {
+  imports = [
+    (modulesPath + "/installer/scan/not-detected.nix")
+  ];
+
+  services.xserver.videoDrivers = ["i915" "modesetting" "fbdev"];
+
+  boot = {
+    initrd = {
+      availableKernelModules = ["xhci_pci" "thunderbolt" "nvme" "sdhci_pci"];
+      kernelModules = ["dm-snapshot"];
+      luks.devices."tomb" = {
+        device = "/dev/disk/by-uuid/0b2b9aec-c239-4cce-948d-4411d9300c1d";
+        preLVM = true;
+      };
+    };
+    kernelModules = ["kvm-intel"];
+    extraModulePackages = [];
+  };
+
+  fileSystems = {
+    "/" = {
+      device = "/dev/disk/by-uuid/2774158f-8ec5-4ba1-a4fb-a37f55b8bb38";
+      fsType = "btrfs";
+      options = ["subvol=root"];
+    };
+
+    "/boot" = {
+      device = "/dev/disk/by-uuid/A7E5-EEAB";
+      fsType = "vfat";
+    };
+
+    "/nix" = {
+      device = "/dev/disk/by-uuid/2774158f-8ec5-4ba1-a4fb-a37f55b8bb38";
+      fsType = "btrfs";
+      options = ["subvol=nix"];
+    };
+
+    "/home" = {
+      device = "/dev/disk/by-uuid/2774158f-8ec5-4ba1-a4fb-a37f55b8bb38";
+      fsType = "btrfs";
+      options = ["subvol=home"];
+    };
+
+    "/toplevel" = {
+      device = "/dev/disk/by-uuid/2774158f-8ec5-4ba1-a4fb-a37f55b8bb38";
+      fsType = "btrfs";
+    };
+  };
+
+  swapDevices = [];
+
+  powerManagement.cpuFreqGovernor = lib.mkDefault "powersave";
+  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+}