name: "RELEASE_AVF_MICRODROID_KERNEL_VERSION"
namespace: "android_virtualization"
description: "Specify which Microdroid kernel version to use for Microdroid VMs."
workflow: PREBUILT
containers: "system"