gerrit.omnirom.org / android_packages_modules_Virtualization / dbee0f29a10683b427c051a5d1bc033f093aedb1 / dice_for_avf_guest.cddl