Update hardware-configuration.nix

hardware-configuration.nix

@@ -6,15 +6,24 @@
 {
   imports = [ ];
 
-  boot.initrd.availableKernelModules = [ "ata_piix" "ohci_pci" "sd_mod" "sr_mod" ];
-  boot.initrd.kernelModules = [ ];
-  boot.kernelModules = [ ];
+  boot.initrd.availableKernelModules = [ "ehci_pci" "ahci" "usb_storage" "sd_mod" "sdhci_pci" ];
+  boot.kernelPackages = pkgs.linuxPackages_latest;
+  boot.kernelModules = [ "kvm-intel" ];
   boot.extraModulePackages = [ ];
+  
+  hardware.enableAllFirmware = true;
+  hardware.enableRedistributableFirmware = true;.
 
-  fileSystems."/" =
-    { device = "/dev/disk/by-label/nixos";
+  filesystems = {
+    "/" = {
+      device = "/dev/disk/by-label/nixos";
       fsType = "ext4";
     };
+    "/boot/efi" = {
+      device = "/dev/disk/by-label/boot";
+      fsType = "fat32";
+    };
+  };
 
   swapDevices = [ ];
 
@@ -25,6 +34,6 @@
   networking.useDHCP = lib.mkDefault true;
   # networking.interfaces.enp0s3.useDHCP = lib.mkDefault true;
 
-  #hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
-  #virtualisation.virtualbox.guest.enable = true;
+  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
+  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
 }