100644 blob cfb851bd813a6794351cb20094bca705166061df	Android.bp
100644 blob 60d8ab75d31110aee382d83ba297d3edf67c634d	microdroid_manager.rc
040000 tree c4eef2a78de4cbad5e4f2f0650dbb4d1fc402d8f	src