gerrit.omnirom.org / android_packages_modules_Virtualization / cd34082f04a6e4631c5646b9ab41e92050ea89e7 / microdroid / empty_kernel