100644 blob b87cb1dd86f70e2adec987f45cfb4eb5bf7b034b	gen_devicetree_rest.py
100644 blob 4a4efca45aebd4be446be12b301d0c34ff216397	gen_helpers.py
100644 blob cad7605d16a78a0c733b89a37de1f719ec414fa9	redirects.py