Update raspberry hardware config

hosts/raspberry/configuration.nix

@@ -1,3 +1,25 @@
 # This file is controlled by /etc/dotfiles/README.org
-{ # TODO
+{ config, pkgs, ... }:
+
+{
+  networking.hostName = "raspberry";
+  networking.firewall.enable = false;
+  networking.wireless.enable = true;
+  networking.wireless.userControlled.enable = true;
+
+  
+
+  environment.systemPackages = [
+    pkgs.libraspberrypi
+    pkgs.raspberrypi-eeprom
+  ];
+
+  programs.fish.enable = true;
+  programs.gnupg.agent.enable = true;
+
+  users.users.chris = {
+    shell = pkgs.fish;
+    isnormaluser = true;
+    extragroups = [ "wheel" ];
+  };
 }

hosts/raspberry/hardware.nix

@@ -1,3 +1,44 @@
 # This file is controlled by /etc/dotfiles/README.org
-{ # TODO
+{ config, pkgs, lib, inputs, ... }:
+
+{
+  imports = [
+    inputs.nixos-hardware.nixosModules.raspberry-pi.4
+  ];
+
+  boot.kernelPackages = pkgs.linuxPackages_rpi4;
+  boot.tmpOnTmpfs = true;
+  boot.initrd.availableKernelModules = [ "usbhid" "usb_storage" ];
+  boot.kernelParams = [
+    "8250.nr_uarts=1"
+    "console=ttyAMA0,115200"
+    "console=tty1"
+    "cma=128M"
+  ];
+
+  boot.loader.grub.enable = false;
+  boot.loader.generic-extlinux-compatible.enable = true;
+  boot.loader.raspberryPi = {
+    enable = true;
+    version = 4;
+    firmwareConfig = ''
+      dtparam=sd_poll_once=on
+      dtparam=audio=on
+    '';
+  };
+
+  sound.enable = true;
+  hardware.pulseaudio.enable = true;
+  hardware.enableRedistributableFirmware = true;
+  hardware.raspberry-pi."4".fkms-3d.enable = true;
+
+  fileSystems = {
+    "/" = {
+      device = "/dev/disk/by-label/NIXOS_SD";
+      fsType = "ext4";
+      options = [ "noatime" ];
+    };
+  };
+
+  powerManagement.cpuFreqGovernor = "ondemand";
 }