100755 blob e0ab95c8eb75623ed4f71b1f5b08c6db7a2768df	devicetree.py
040000 tree 24d001e42abf237bb7f690d44563f652d5ad5420	extract
100755 blob 4aeb627ea515ebac54a9a65b370d5c8c8cfa80a3	extract_dts_includes.py