Commit 1404acbefe61

@@ -0,0 +1,23 @@
+{ lib, pkgs, ... }:
+{
+  boot = {
+    initrd = {
+      availableKernelModules = [
+        "nvme"
+        "ahci"
+        "usbhid"
+      ];
+      kernelModules = [ ];
+      systemd.enable = lib.mkForce false;
+    };
+    kernelModules = [ ];
+    extraModulePackages = [ ];
+    kernelPackages = pkgs.linuxPackages_latest;
+    loader = {
+      efi.canTouchEfiVariables = true;
+      grub.enable = lib.mkForce false;
+      systemd-boot.enable = lib.mkForce false;
+      generic-extlinux-compatible.enable = true;
+    };
+  };
+}

@@ -0,0 +1,19 @@
+{ lib, pkgs, ... }:
+{
+  services.openssh.enable = true;
+  services.openssh.settings = {
+    PermitRootLogin = "yes";
+    PasswordAuthentication = true;
+  };
+
+  networking.useDHCP = lib.mkDefault true;
+
+  environment.systemPackages = with pkgs; [
+    vim
+    git
+    htop
+    helix
+    # Add any additional packages you need.
+  ];
+
+}

@@ -0,0 +1,15 @@
+_: {
+  fileSystems."/" = {
+    device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
+    fsType = "ext4";
+  };
+
+  swapDevices = [ ];
+
+  hardware = {
+    deviceTree = {
+      enable = true;
+      name = "rockchip/rk3588-friendlyelec-cm3588-nas.dtb";
+    };
+  };
+}

@@ -1,1 +0,0 @@
-_: { }

@@ -111,76 +111,18 @@
           pkgsInput = inputs.nixpkgs-25_05;
           homeInput = inputs.home-manager-25_05;
         };
+        aion = libx.mkHost {
+          hostname = "aion";
+          system = "aarch64-linux";
+          pkgsInput = inputs.nixpkgs-25_05;
+          homeInput = inputs.home-manager-25_05;
+        };
         rhea = libx.mkHost {
           hostname = "rhea";
           system = "aarch64-linux";
           pkgsInput = inputs.nixpkgs-25_05;
           homeInput = inputs.home-manager-25_05;
         };
-        # nagoya = libx.mkRPIHost {
-        #   hostname = "nagoya";
-        #   hardwareType = "rpi4"; # to disable tpm2 TODO find a better way
-        # };
-        nagoya = inputs.nixos-raspberrypi.lib.nixosSystem {
-          specialArgs = inputs;
-          modules = [
-            {
-              # Hardware specific configuration, see section below for a more complete
-              # list of modules
-              imports = with inputs.nixos-raspberrypi.nixosModules; [
-                raspberry-pi-5.base
-                raspberry-pi-5.page-size-16k
-                raspberry-pi-5.display-vc4
-                raspberry-pi-5.bluetooth
-              ];
-            }
-            (
-              {
-                config,
-                pkgs,
-                ...
-              }:
-              {
-                networking.hostName = "nagoya";
-                boot.loader.raspberryPi.bootloader = "kernel";
-                system.nixos.tags =
-                  let
-                    cfg = config.boot.loader.raspberryPi;
-                  in
-                  [
-                    "raspberry-pi-${cfg.variant}"
-                    cfg.bootloader
-                    config.boot.kernelPackages.kernel.version
-                  ];
-                environment.systemPackages = with pkgs; [
-                  tree
-                ];
-                fileSystems = {
-                  "/boot/firmware" = {
-                    device = "/dev/disk/by-uuid/2175-794E";
-                    fsType = "vfat";
-                    options = [
-                      "noatime"
-                      "noauto"
-                      "x-systemd.automount"
-                      "x-systemd.idle-timeout=1min"
-                    ];
-                  };
-                  # "/" = {
-                  #   device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888";
-                  #   fsType = "ext4";
-                  #   options = [ "noatime" ];
-                  # };
-                  "/" = {
-                    device = "/dev/disk/by-uuid/e769fd8d-1fed-4a59-a987-e21f35294d5f";
-                    fsType = "ext4";
-                    options = [ "noatime" ];
-                  };
-                };
-              }
-            )
-          ];
-        };
         kerkouane = libx.mkHost {
           hostname = "kerkouane";
           pkgsInput = inputs.nixpkgs-25_05;