100644 blob e4827aa3cc1234691886cd5ea2059ea2d11fe043	Android.bp
100644 blob 60d8ab75d31110aee382d83ba297d3edf67c634d	microdroid_manager.rc
040000 tree 17e689e9a4c1d713a361cb4577ebf5d37402ec06	src
040000 tree d2643c18e8c0cf96a5218864e7f4d3b4d1701cf4	tests