(???) 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 = [ ]; (???)