From a974139862c5628650b9e0d0d65d496e5d4fccfc Mon Sep 17 00:00:00 2001
From: Lillian-Violet <git@lillianviolet.dev>
Date: Tue, 3 Dec 2024 00:33:20 +0100
Subject: [PATCH] add the raspberry pi 4 configuration things to wheatley

---
 nixos/hosts/wheatley/configuration.nix | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/nixos/hosts/wheatley/configuration.nix b/nixos/hosts/wheatley/configuration.nix
index 3db790d..561b2c6 100644
--- a/nixos/hosts/wheatley/configuration.nix
+++ b/nixos/hosts/wheatley/configuration.nix
@@ -17,6 +17,7 @@
     # Import shared configurations
     ../../shared
     # ../../../disko/wheatley
+    inputs.nixos-hardware.nixosModules.raspberrt-pi-4
   ];
 
   boot.loader.generic-extlinux-compatible.enable = true;
@@ -32,6 +33,10 @@
   nixpkgs = {
     # You can add overlays here
     overlays = [
+      (final: super: {
+        makeModulesClosure = x:
+          super.makeModulesClosure (x // {allowMissing = true;});
+      })
     ];
     # Configure your nixpkgs instance
     config = {
@@ -40,6 +45,8 @@
     };
   };
 
+  hardware.raspberry-pi."4".fkms-3d.enable = true;
+
   sops.defaultSopsFile = ./secrets/sops.yaml;
 
   sops.secrets."wireless.env".mode = "0440";
@@ -49,6 +56,7 @@
     age
     git
     htop
+    libraspberrypi
   ];
 
   boot.kernelParams = [
@@ -78,6 +86,7 @@
   };
 
   networking.wireless.enable = true;
+  networking.networkmanager.wifi.powersave = false;
   # networking.wireless.environmentFile = config.sops.secrets."wireless.env".path;
   # networking.wireless.networks."KPNAA6306" = {
   #   hidden = true;
@@ -114,6 +123,8 @@
 
   networking.hostName = "wheatley"; # Define your hostname
 
+  boot.kernelPackages = lib.mkForce pkgs.linuxKernel.packages.linux_rpi4;
+  boot.supportedFilesystems = lib.mkForce ["vfat" "btrfs" "tmpfs"];
   networking.wireless.interfaces = ["enu1u1"];
 
   # powerManagement.cpuFreqGovernor = "powersave";