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