100644 blob e4827aa3cc1234691886cd5ea2059ea2d11fe043	Android.bp
100644 blob 60d8ab75d31110aee382d83ba297d3edf67c634d	microdroid_manager.rc
040000 tree 5174f349305d6a8c7b7ea68ce2d432e8bd4bf3e9	src
040000 tree d2643c18e8c0cf96a5218864e7f4d3b4d1701cf4	tests