100755 blob 3b57d6a2449dedeb6beae49a4482163e2c693032	devicetree.py
040000 tree ca432a6a7e9a9e12ac2a5611f4466996151c5e0e	extract
100755 blob c584225666af34e9fb844859bca3b718a7051e0b	extract_dts_includes.py