)]}'
{
  "id": "36dc98b3f1a3160e030d3c624f454eec53540025",
  "repo": "3p/sel4/sel4_libs",
  "revision": "033836006daff79668fe94b4f916f2170d0be4a6",
  "path": "libsel4utils/include/sel4utils/mcs_api.h"
}