{ 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; }