100644 blob dbd6227d972cb8db7c3c4fbe7fe3b27a32e3b73d	gen_devicetree_rest.py
100644 blob 4a4efca45aebd4be446be12b301d0c34ff216397	gen_helpers.py
100644 blob 8d3d2da1d6791cfcaafd2d95e6a223bfa83adb6d	redirects.py