From 98172a2eb21300146868515fadf06b7e26c4a252 Mon Sep 17 00:00:00 2001
From: redyf <redyf@users.noreply.github.com>
Date: Sun, 7 Jul 2024 01:35:04 +0000
Subject: [PATCH 1/2] Auto lint/format

---
 hosts/selene/hardware-configuration.nix | 42 ++++++++++++++-----------
 1 file changed, 23 insertions(+), 19 deletions(-)

diff --git a/hosts/selene/hardware-configuration.nix b/hosts/selene/hardware-configuration.nix
index 82f2d225..82fceee5 100644
--- a/hosts/selene/hardware-configuration.nix
+++ b/hosts/selene/hardware-configuration.nix
@@ -1,31 +1,35 @@
 # Do not modify this file!  It was generated by ‘nixos-generate-config’
 # and may be overwritten by future invocations.  Please make changes
 # to /etc/nixos/configuration.nix instead.
-{ config, lib, pkgs, modulesPath, ... }:
-
 {
-  imports =
-    [ (modulesPath + "/installer/scan/not-detected.nix")
-    ];
+  config,
+  lib,
+  pkgs,
+  modulesPath,
+  ...
+}: {
+  imports = [
+    (modulesPath + "/installer/scan/not-detected.nix")
+  ];
 
-  boot.initrd.availableKernelModules = [ "usb_storage" ];
-  boot.initrd.kernelModules = [ ];
-  boot.kernelModules = [ ];
+  boot.initrd.availableKernelModules = ["usb_storage"];
+  boot.initrd.kernelModules = [];
+  boot.kernelModules = [];
   # boot.kernelPackages = (import (builtins.fetchTarball https://gitlab.com/vriska/nix-rpi5/-/archive/main.tar.gz)).legacyPackages.aarch64-linux.linuxPackages_rpi5;
-  boot.extraModulePackages = [ ];
+  boot.extraModulePackages = [];
 
-  fileSystems."/" =
-    { device = "/dev/disk/by-label/NIXOS_SD";
-      fsType = "ext4";
-    };
+  fileSystems."/" = {
+    device = "/dev/disk/by-label/NIXOS_SD";
+    fsType = "ext4";
+  };
 
-  fileSystems."/boot/firmware" =
-    { device = "/dev/disk/by-label/FIRMWARE";
-      fsType = "vfat";
-      options = [ "fmask=0022" "dmask=0022" ];
-    };
+  fileSystems."/boot/firmware" = {
+    device = "/dev/disk/by-label/FIRMWARE";
+    fsType = "vfat";
+    options = ["fmask=0022" "dmask=0022"];
+  };
 
-  swapDevices = [ ];
+  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

From cfd94332871a6281999b70c958c0018e3a9b2fbb Mon Sep 17 00:00:00 2001
From: Redyf <mateusalvespereira7@gmail.com>
Date: Sat, 6 Jul 2024 23:32:20 -0300
Subject: [PATCH 2/2] fix: make gpu driver work

---
 hosts/selene/configuration.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/hosts/selene/configuration.nix b/hosts/selene/configuration.nix
index 11ea6c52..b43fd459 100644
--- a/hosts/selene/configuration.nix
+++ b/hosts/selene/configuration.nix
@@ -42,6 +42,14 @@
     raspberry-pi = {
       config = {
         all = {
+          options = {
+            dt-overlays = {
+              vc4-kms-v3d-pi5 = {
+                enable = true;
+                params = {};
+              };
+            };
+          };
           base-dt-params = {
             # enable autoprobing of bluetooth driver
             # https://github.com/raspberrypi/linux/blob/c8c99191e1419062ac8b668956d19e788865912a/arch/arm/boot/dts/overlays/README#L222-L224