(???)  config, lib, pkgs, modulesPath, ... }:
 (???) 
 (???)  boot.initrd.availableKernelModules = [ "ata_piix" "virtio_pci" "floppy" "sr_mod" "virtio_blk" ];
 (???)  boot.initrd.kernelModules = [ ];
 (???)  boot.extraModulePackages = [ ];
 (???)  fileSystems."/" =
 (???)    { device = "/dev/vda1";
 (???)      fsType = "ext4";
 (???)      options = [ "noatime" ];
 (???)    };
 (???)  swapDevices = [ ];
 (???)