{ config, lib, pkgs, ... }: { virtualisation.hypervGuest.enable = true; boot.initrd.availableKernelModules = ["sd_mod" "sr_mod" "hv_storvsc"]; boot.initrd.kernelModules = []; boot.kernelModules = []; boot.extraModulePackages = []; networking.useDHCP = lib.mkDefault true; nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux"; }