Add configuration for raspberry pi 4

flake.nix

@@ -84,6 +84,10 @@
         inherit specialArgs;
         modules = [./hosts/hetzner/monitoring/configuration.nix];
       };
+      archimedes = nixpkgs.lib.nixosSystem {
+        inherit specialArgs;
+        modules = [./hosts/archimedes/configuration.nix];
+      };
     };
 
     formatter.x86_64-linux =

hosts/archimedes/configuration.nix

@@ -0,0 +1,47 @@
+{
+  lib,
+  outputs,
+  inputs,
+  pkgs,
+  ...
+}: {
+  imports = lib.flatten [
+    (with outputs.nixosModules; [
+      common
+      locale
+      ssh-access
+    ])
+    inputs.nixos-hardware.nixosModules.raspberry-pi-4
+  ];
+
+  hardware.raspberry-pi."4" = {
+    fkms-3d.enable = true;
+    touch-ft5406.enable = true;
+  };
+
+  nixpkgs.hostPlatform = "aarch64-linux";
+  networking.hostName = "archimedes";
+
+  boot = {
+    kernelPackages = pkgs.linuxKernel.packages.linux_rpi4;
+    initrd.availableKernelModules = ["xhci_pci" "usbhid" "usb_storage"];
+    loader = {
+      grub.enable = false;
+      generic-extlinux-compatible.enable = true;
+    };
+  };
+
+  fileSystems = {
+    "/" = {
+      device = "/dev/disk/by-label/NIXOS_SD";
+      fsType = "ext4";
+      options = ["noatime"];
+    };
+  };
+
+  environment.systemPackages = with pkgs; [
+    busybox
+  ];
+
+  system.stateVersion = "24.05";
+}