gerrit.omnirom.org / android_packages_modules_Virtualization / 8032b186eaeb40a5e15c5182c5082435b11db75e / microdroid / empty_kernel