{ config, lib, pkgs, ... }:

{
  boot = {
    initrd.availableKernelModules = [ "ahci" "xhci_pci" "virtio_pci" "sr_mod" "virtio_blk" ];
	kernelModules = [ ];
	extraModulePackages = [ ];
  	loader.systemd-boot.enable = true;
  	loader.efi.canTouchEfiVariables = true;
  	loader.efi.efiSysMountPoint = "/boot";
  };

  fileSystems."/" = { device = "/dev/vda2"; fsType = "ext4"; };
  fileSystems."/boot" = { device = "/dev/vda1"; fsType = "vfat"; };
  swapDevices = [ ];

  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
  virtualisation.hypervGuest.enable = true;
}