)]}' { "id": "14193d596d7858c1db04baeebc55c3e665e01208", "repo": "kernel/skids", "revision": "b796900e7484f66f7a06d6ddf2e73236561a478a", "path": "kernel/rtmutex-debug.h" }