100644 blob dbd6227d972cb8db7c3c4fbe7fe3b27a32e3b73d	gen_devicetree_rest.py
100644 blob 4a4efca45aebd4be446be12b301d0c34ff216397	gen_helpers.py
100644 blob 87fc9eebc23760b3b58a9a809da3384a2f6412c5	redirects.py