{ pkgs, ... }:

{
  boot.initrd.kernelModules = [
    "virtio_blk"
    "virtio_scsi"
    "virtio_pci"
  ];

  boot.loader.grub = {
    enable = true;
    device = "/dev/vda";
    splashImage = null;
  };

  fileSystems."/" = {
    device = "/dev/vda1";
    fsType = "ext4";
  };

  nixpkgs.hostPlatform = "x86_64-linux";
}