{
  boot.initrd.availableKernelModules = [
    "ata_piix"
    "sr_mod"
    "xen_blkfront"
  ];
}