Updates for ThinkPad

configuration.nix

@@ -15,20 +15,23 @@ in
     ];
 
   # Use the GRUB 2 boot loader.
-  boot.loader.grub = {
+  boot.loader = {
+    efi = {
+      canTouchEfiVariables = true;
+      efiSysMountPoint = "/boot";
+    };
+    grub = {
       enable = true;
       version = 2;
-    # efiSupport = true;
+      efiSupport = true;
-    # efiInstallAsRemovable = true;
+      device = "nodev";
-    # efiSysMountPoint = "/boot/efi";
+    };
-    # Define on which hard drive you want to install Grub.
-    device = "/dev/sda"; # or "nodev" for efi only
   };
 
-  # networking.hostName = "nixos"; # Define your hostname.
+  # networking.hostName = "elnupad"; # Define your hostname.
   # Pick only one of the below networking options.
   # networking.wireless.enable = true;  # Enables wireless support via wpa_supplicant.
-  # networking.networkmanager.enable = true;  # Easiest to use and most distros use this by default.
+  networking.networkmanager.enable = true;  # Easiest to use and most distros use this by default.
 
   # Set your time zone.
   time.timeZone = "America/Los_Angeles";

hardware-configuration.nix

@@ -25,6 +25,6 @@
   networking.useDHCP = lib.mkDefault true;
   # networking.interfaces.enp0s3.useDHCP = lib.mkDefault true;
 
-  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+  #hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
-  virtualisation.virtualbox.guest.enable = true;
+  #virtualisation.virtualbox.guest.enable = true;
 }