100755 blob 5fcddddbc176fa56b29a29e3d0af015faf6620a7	gen_boards_catalog.py
100644 blob 2d12a79587184bbc993e47ee571d942909709c1c	gen_devicetree_rest.py
100644 blob 3678d0e3ea9f40e09f9a5afa377c46d0d509cb8e	gen_helpers.py
100644 blob 6cccbb20cb5ac95e55ffd591dd47c922d4fae524	redirects.py