https://source.android.com/docs/core/virtualization/microdroid?hl=de
Microdroid | Android Open Source Project
open sourceandroidproject
https://android.googlesource.com/kernel/common/+/d03cb1d7abcd078dabe73ed711be068ca9b364b8/build.config.microdroid.x86_64
build.config.microdroid.x86_64 - kernel/common - Git at Google
buildconfigkernelcommongit