100755 blob e0ab95c8eb75623ed4f71b1f5b08c6db7a2768df	devicetree.py
040000 tree f91dc8ed017523e992be5f62843039d9f0319070	extract
100755 blob f7dd66f013eb284a7478ac841e2c31208546079a	extract_dts_includes.py