100755 blob a9f908fc97e32f6893f11f804236799fa1476433	gen_boards_catalog.py
100644 blob 908cfb0278b9fe3cd730ea4b8d9c821e5b7b481c	gen_devicetree_rest.py
100644 blob 3678d0e3ea9f40e09f9a5afa377c46d0d509cb8e	gen_helpers.py
100644 blob 67ecc7849db0c6cabedc955617e4d9a052e8f02e	redirects.py