)]}' { "id": "e99d840c2511ed95df2e81f9e42ee28764d0049e", "repo": "linux", "revision": "4747395082abc67c700a75e4cf3b796e79c7cf3a", "path": "drivers/tee/Kconfig" }