{ config, pkgs, lib, ... }: { # Use the GRUB 2 boot loader. boot.loader.systemd-boot.enable = false; boot.loader.grub.enable = true; boot.loader.grub.version = 2; # boot.loader.grub.efiSupport = true; # boot.loader.grub.efiInstallAsRemovable = true; # boot.loader.efi.efiSysMountPoint = "/boot/efi"; # Define on which hard drive you want to install Grub. boot.loader.grub.device = "/dev/sda"; # or "nodev" for efi only boot.initrd.availableKernelModules = ["ahci" "xhci_pci" "virtio_pci" "sd_mod" "sr_mod"]; boot.initrd.kernelModules = ["dm-snapshot"]; boot.kernelModules = ["kvm-intel"]; boot.extraModulePackages = []; boot.initrd.luks.devices."cryptroot" = { device = "/dev/disk/by-uuid/531ee357-5777-498f-abbf-64bb4cff9a14"; }; fileSystems."/" = { device = "/dev/disk/by-uuid/f5b3152a-a3bd-46d1-968f-53d50fca921e"; fsType = "ext4"; }; fileSystems."/boot" = { device = "/dev/disk/by-uuid/1fd053f8-725b-418d-aed1-aee71dac2b62"; fsType = "ext4"; }; swapDevices = [ {device = "/dev/disk/by-uuid/967d1933-131d-4b56-8aa9-15c11ff940c9";} ]; networking = { defaultGateway = "80.244.242.1"; nameservers = ["95.129.51.51" "80.244.244.244"]; interfaces."enp1s0" = { ipv4.addresses = [ { address = "80.244.242.4"; prefixLength = 29; } ]; }; }; nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware; }