100755 blob 627f64664aaf0f5d6065d98d620f13f163e00d8b	clean_headers.sh
100755 blob 0fbb68e62d24c4df40128fd5651ed6ecc8933e58	fetch_device.py
100755 blob 498d2d10dba97c455d1225a02f0d76a1286a5c3a	repopick.py