fixes compilation bug

triviOS/default.nix

@@ -6,33 +6,36 @@
 # Copyright (C) 2023 - Group 8
 
 { pkgs, ... }: {
+
+  system.stateVersion = "23.05";
+
   system.nixos = {
     distroName = "TriviOS";
     variant_id = "rpi3";
   };
 
-  system.stateVersion = "23.05";
+  hardware.enableRedistributableFirmware = true;
+  environment.systemPackages = with pkgs; [ libraspberrypi ];
+  networking.wireless.enable = true;
 
   boot = {
-    loader.raspberryPi = {
-      enable = true;
-      version = 3;
-      firmwareConfig = ''
-        core_freq=250
-      '';
+    loader = {
+      raspberryPi = {
+        enable = true;
+        version = 3;
+        firmwareConfig = ''
+          core_freq=250
+        '';
+      };
+      grub.enable = false;
     };
-    loader.grub.enable = false;
+    initrd.includeDefaultModules = false;
     kernelPackages = pkgs.linuxPackages_rpi3;
     kernelParams = [
       "console=ttyS1,115200n8"
     ];
   };
 
-  hardware.enableRedistributableFirmware = true;
-  networking.wireless.enable = true;
-
-  environment.systemPackages = with pkgs; [ libraspberrypi ];
-
   fileSystems = {
     "/" = {
       device = "/dev/disk/by-uuid/B007-B007";
@@ -40,6 +43,4 @@
       options = [ "umask=027" ];
     };
   };
-
-
 }