040000 tree 6915d1bdad7b1b46b154b982a56e29e8646e206f	api
040000 tree 0bb9664bc6cd07a774b024d005a4868df4f1c163	api_ext
040000 tree ce978a471a704c8c176abef68e5dc80c9936f9d1	devices
040000 tree 4ef57613ebee6ca02d1052289c8bc69da6ad6533	memory_region
040000 tree 00ec4600bfaf65d2b3bbb34722b886d86314c963	memory_region_flags