100644 blob 08a08841529261f22695eca46b12a9e9fe369d33	gen_devicetree_rest.py
100644 blob 4a4efca45aebd4be446be12b301d0c34ff216397	gen_helpers.py
100755 blob 5a55dd4ae4cadb9302900fa00a7c28878e4d4ffd	gen_kconfig_rest.py
100644 blob 9c5b094020c153fa3afb29f8a2935eaf0c8c25c5	redirects.py