Micronix, xmm's system configuration

hosts/default.nix

@@ -11,7 +11,13 @@
           inputs.disko.nixosModules.disko
         ];
       };
-    };
+      micronix = {
+        system = "x86_64-linux";
+        extraModules = [
+          inputs.disko.nixosModules.disko
+          ];
+        };
+      };
     nixosModules.default = ./shared;
   };
 }

hosts/micronix/default.nix

@@ -0,0 +1,41 @@
+{pkgs, ...}: {
+  imports = [
+    ./hardware.nix
+    ./disks.nix
+    ./theme.nix
+    ./apps.nix
+    ./users.nix
+    ./fonts.nix
+  ];
+
+  config = {
+    boot.loader = {
+      systemd-boot.enable = true;
+      efi.canTouchEfiVariables = true;
+    };
+
+    console = {
+      font = "Lat2-Terminus16";
+      keyMap = "us";
+    };
+
+    services = {
+      xserver.xkb = {
+        layout = "us";
+      };
+
+      libinput.enable = true;
+      openssh.enable = true;
+    };
+
+    hardware.graphics = {
+      enable = true;
+      enable32Bit = false;
+    };
+
+    networking.networkmanager.enable = true;
+    time.timeZone = "America/Montevideo";
+    i18n.defaultLocale = "en_US.UTF-8";
+    system.stateVersion = "24.11";
+  };
+}

hosts/micronix/fonts.nix

@@ -0,0 +1,21 @@
+{pkgs, ...}: {
+  alqueva.fonts = {
+    names = {
+      sansSerif = ["Inter"];
+      monospace = ["Maple Mono"];
+      serif = ["ETBembo"];
+      emoji = ["OpenMoji Color"];
+    };
+    packages = {
+      sansSerif = [pkgs.inter];
+      monospace = [pkgs.maple-mono];
+      serif = [pkgs.source-serif-pro pkgs.etBook];
+      emoji = [pkgs.openmoji-color];
+      extra = [
+        pkgs.source-han-sans
+        pkgs.nerd-fonts.symbols-only
+      ];
+    };
+    enable = true;
+  };
+}

hosts/micronix/hardware.nix

@@ -0,0 +1,48 @@
+# Do not modify this file!  It was generated by ‘nixos-generate-config’
+# and may be overwritten by future invocations.  Please make changes
+# to /etc/nixos/configuration.nix instead.
+{
+  config,
+  lib,
+  pkgs,
+  modulesPath,
+  ...
+}: {
+  imports = [
+    (modulesPath + "/installer/scan/not-detected.nix")
+  ];
+
+  boot.initrd.availableKernelModules = ["nvme"];
+  boot.initrd.kernelModules = [];
+  boot.kernelModules = ["kvm-amd"];
+  boot.extraModulePackages = [];
+
+  fileSystems."/" = {
+    device = "/dev/disk/by-uuid/11a954cd-1e6b-40e5-9322-e4b5349076fd";
+    fsType = "btrfs";
+    options = ["subvol=@"];
+  };
+
+  boot.initrd.luks.devices."luks-62a94d2c-2306-417d-bbfa-c7c6d89043dd".device = "/dev/disk/by-uuid/62a94d2c-2306-417d-bbfa-c7c6d89043dd";
+
+  fileSystems."/boot" = {
+    device = "/dev/disk/by-uuid/1F69-C02B";
+    fsType = "vfat";
+    options = ["fmask=0077" "dmask=0077"];
+  };
+
+  swapDevices = [
+    {device = "/dev/disk/by-uuid/4d101e1e-8f76-472e-8282-62bb23d122e4";}
+  ];
+
+  # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
+  # (the default) this is the recommended approach. When using systemd-networkd it's
+  # still possible to use this option, but it's recommended to use it in conjunction
+  # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
+  networking.useDHCP = lib.mkDefault true;
+  # networking.interfaces.enp3s0.useDHCP = lib.mkDefault true;
+  # networking.interfaces.wlp2s0.useDHCP = lib.mkDefault true;
+
+  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
+  hardware.cpu.amd.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+}