100755 blob 548576fbbb81f798ce86e273341ba3546c711574	gen_boards_catalog.py
100644 blob 908cfb0278b9fe3cd730ea4b8d9c821e5b7b481c	gen_devicetree_rest.py
100644 blob 3678d0e3ea9f40e09f9a5afa377c46d0d509cb8e	gen_helpers.py
100644 blob b7ab9b27ec57f68c46f62cbc42f3e28c1597018d	redirects.py