100644 blob 721f9fac1b1b997979764cd9fc7ae830d991ef84	Android.bp
100644 blob 60d8ab75d31110aee382d83ba297d3edf67c634d	microdroid_manager.rc
040000 tree c0ff9f9fafd1b99e200142429c82345dbfbceb79	src
040000 tree d2643c18e8c0cf96a5218864e7f4d3b4d1701cf4	tests