{lib, ...}: { boot = { kernelModules = ["kvm-intel"]; extraModulePackages = []; initrd = { availableKernelModules = ["xhci_pci" "ahci" "nvme" "usbhid" "usb_storage" "sd_mod"]; kernelModules = []; }; }; fileSystems = { "/" = { device = "/dev/disk/by-uuid/27eccf93-a79f-4fcb-8588-ec55d913508f"; fsType = "btrfs"; options = ["subvol=@"]; }; "/boot" = { device = "/dev/disk/by-uuid/85D4-43FC"; fsType = "vfat"; options = ["fmask=0077" "dmask=0077"]; }; }; swapDevices = [ {device = "/dev/disk/by-uuid/bf9d19fb-499b-4bfb-b67d-131fa5bf8259";} ]; nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; hardware.cpu.intel.updateMicrocode = true; }