Setup a Pi 3, fix hetznix02

This focuses on being able to build a SD card image for a Pi 3 named
raspberry and the cofig it contains. As part of making that happen, I
found that I had totally messed up hetznix02's hardware config. I fixed
this as it is where I am builiding the SD image. This work also resulted
in adding a "volume" to hetznix02 and moving `/nix` onto it.

flake.nix

@@ -159,6 +159,10 @@
           inputs.nixos-hardware.nixosModules.dell-xps-13-9360
         ];
       };
+      raspberry = localLib.mkNixosHost {
+        system = "aarch64-linux";
+        hostname = "raspberry";
+      };
     }; # end nixosConfigurations
 
     # Home Manager (only) users

modules/hosts/nixos/hetznix02/disk-config.nix

@@ -2,8 +2,8 @@
 { lib, ... }:
 {
   disko.devices = {
-    disk.disk1 = {
-      device = lib.mkDefault "/dev/sda";
+    disk.primary = {
+      device = lib.mkDefault "/dev/disk/by-id/scsi-0QEMU_QEMU_HARDDISK_51838383";
       type = "disk";
       content = {
         type = "gpt";
@@ -38,5 +38,26 @@
         };
       };
     };
+    disk.volume1 = {
+      device = lib.mkDefault "/dev/disk/by-id/scsi-0HC_Volume_101886924";
+      type = "disk";
+      content = {
+        type = "gpt";
+        partitions = {
+         nix = {
+           name = "nix";
+           size = "100%";
+           content = {
+              type = "filesystem";
+              format = "ext4";
+              mountpoint = "/nix";
+              mountOptions = [
+                "defaults"
+              ];
+            };
+          };
+        };
+      };
+    };
   };
 }

modules/hosts/nixos/hetznix02/hardware-configuration.nix

@@ -10,23 +10,30 @@
 
   boot = {
     initrd = {
-      availableKernelModules = [ "ata_piix" "uhci_hcd" "xen_blkfront" ];
-      kernelModules = [ "nvme" ];
+      availableKernelModules = [ "xhci_pci" "virtio_scsi" "sr_mod" ];
+      kernelModules = [ ];
     };
     kernelModules = [ ];
     extraModulePackages = [ ];
   };
 
-  fileSystems = {
-    "/boot" = {
-      device = lib.mkForce "/dev/disk/by-uuid/D005-6C65";
-      fsType = "vfat";
-    };
-    "/" = {
-      device = lib.mkForce "/dev/sda1";
+  fileSystems."/" =
+    { device = "/dev/disk/by-partlabel/disk-primary-root";
       fsType = "ext4";
     };
-  };
+
+  fileSystems."/boot" =
+    { device = "/dev/disk/by-partlabel/disk-primary-ESP";
+      fsType = "vfat";
+      options = [ "fmask=0022" "dmask=0022" ];
+    };
+
+  fileSystems."/nix" =
+    { device = "/dev/disk/by-partlabel/disk-volume1-nix";
+      fsType = "ext4";
+    };
+
+  swapDevices = [ ];
 
   # 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

modules/hosts/nixos/raspberry/default.nix

@@ -0,0 +1,31 @@
+{ inputs, username, ... }: {
+  imports = [
+    # SD card image
+    "${inputs.nixpkgs}/nixos/modules/installer/sd-card/sd-image-aarch64.nix"
+  ];
+  
+  system.stateVersion = "24.11";
+
+  networking.wireless = {
+    enable = true;
+    networks = {
+      # Public networks
+      "Gallery Row-GuestWiFi" = {};
+      "LocalTies Guest" = {
+        psk = "DrinkLocal!";
+      };
+    };
+  };
+
+  users.users.${username} = {
+    isNormalUser = true;
+    description = "Gene Liverman";
+    extraGroups = [ "networkmanager" "wheel" ];
+    linger = true;
+    openssh.authorizedKeys.keys = [
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFvLaPTfG3r+bcbI6DV4l69UgJjnwmZNCQk79HXyf1Pt gene@rainbow-planet"
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIp42X5DZ713+bgbOO+GXROufUFdxWo7NjJbGQ285x3N gene.liverman@ltnglobal.com"
+    ];
+  };
+}
+

modules/hosts/nixos/raspberry/home-gene.nix

@@ -0,0 +1,4 @@
+{ ... }: {
+  home.stateVersion = "24.11";
+}
+