{ lib, config, modulesPath, ... }:
{
	boot.loader.systemd-boot.enable = true;

  boot.initrd.availableKernelModules = [ "ata_piix" "uhci_hcd" "vmw_pvscsi" "xen_blkfront" ];
  boot.initrd.kernelModules = [ "nvme" ];

	fileSystems."/boot" = {
		device = "/dev/disk/by-label/boot";
		fsType = "vfat";
	};

	fileSystems."/" = {
		device = "/dev/disk/by-partlabel/NIXOS";
		fsType = "ext4";
	};

  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
}