distro = "fedora" version = "40" iso = { url = "https://download.fedoraproject.org/pub/fedora/linux/releases/40/Server/x86_64/iso/Fedora-Server-dvd-x86_64-40-1.14.iso" checksum = "32d9ab1798fc8106a0b06e873bdcd83a3efea8412c9401dfe4097347ed0cfc65" } boot_command = [ "e ", "net.ifnames=0 biosdevnames=0 inst.ks=cdrom:/amd64-ks.cfg inst.notmux " ] cd_files = [ "distros/fedora/40/*.cfg" ] vbox_os_type = "Fedora_64"