100644 blob 67130b459e91defe87e77b790092a3424812a6dc	Android.bp
100644 blob 74a219d11353582b778950c699d3e8a63703f439	microdroid_manager.rc
040000 tree 0ddd897174be555073acc5acab27d178f98a7e35	src