{ config, lib, pkgs, ... }: { imports = [ ]; boot = { loader = { systemd-boot.enable = true; efi.canTouchEfiVariables = true; }; initrd = { availableKernelModules = [ "xhci_pci" "ahci" "usbhid" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ]; kernelModules = [ "i915" ]; }; kernelModules = [ "kvm-intel" ]; extraModulePackages = [ ]; }; fileSystems."/" = { device = "/dev/disk/by-uuid/e4b7eae2-546d-412b-9258-389315f4b835"; fsType = "ext4"; }; fileSystems."/boot" = { device = "/dev/disk/by-uuid/A4C4-7B9F"; fsType = "vfat"; }; swapDevices = [ { device = "/dev/disk/by-uuid/72c82e3c-ea61-488b-8b24-b3c27368a2ba"; } ]; nix.maxJobs = lib.mkDefault 8; powerManagement.cpuFreqGovernor = lib.mkDefault "powersave"; hardware.cpu.intel.updateMicrocode = true; }