)]}' { "id": "adba10f83a3e0bbcd68402ea2258f343943e282f", "repo": "tf-a-mtk", "revision": "95982ffc98b8189209e307098f281c132715084a", "path": "include/drivers/generic_delay_timer.h" }