100644 blob 07d7a2807b6bf440e11eac3e43580c8b6a5b2257	fix_tex.py
100644 blob 6953359cbdda4f72b352e334c1ec4db03c61f681	gen_devicetree_rest.py
100644 blob 4a4efca45aebd4be446be12b301d0c34ff216397	gen_helpers.py
100755 blob 1b8db4e9775dc6fc426fe49bcaade86a1d064424	gen_kconfig_rest.py
100644 blob 9c5b094020c153fa3afb29f8a2935eaf0c8c25c5	redirects.py