def default_disk(): return s3_download(resource_type="disk", resource_name="ubuntu-focal-rootfs.ext4", first=True)
def default_ubuntu_elf(): return s3_download(resource_type="kernel", resource_name="vmlinux-focal", first=True)
def default_busybox_elf(): return s3_download(resource_type="kernel", resource_name="vmlinux-hello-busybox", first=True)
def default_ubuntu_bzimage(): return s3_download(resource_type="kernel", resource_name="bzimage-focal", first=True)
def default_busybox_bzimage(): return s3_download(resource_type="kernel", resource_name="bzimage-hello-busybox", first=True)