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