)]}' { "id": "a2cb6fae92958b7319c55ee20ef21e26268ffbea", "repo": "kernel/bruno", "revision": "baaf0c65bc8ea9c7a404b09bc8cc3b8a1e4f18df", "path": "drivers/clocksource/arm_global_timer.c" }