)]}'
{
  "commit": "ba1db8117a1940db8ad2c15afcb07f74e8193375",
  "tree": "f041175d98874489da1cb072d411da8a333fb403",
  "parents": [
    "c1a3178bebf3dda0424827bbca40f01d13731de3"
  ],
  "author": {
    "name": "Anna Lyons",
    "email": "Anna.Lyons@data61.csiro.au",
    "time": "Thu Aug 10 12:30:15 2017 +1000"
  },
  "committer": {
    "name": "Anna Lyons",
    "email": "Anna.Lyons@data61.csiro.au",
    "time": "Mon Aug 21 17:25:54 2017 +1000"
  },
  "message": "Support reply objects in seL4_libs\n\nOnly if CONFIG_KERNEL_RT is enabled will they work, but most of\nthe code is compiled in order to make maintenance easier.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ec3731c79f3298297d6d223ec0de1665fdf4b198",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/process.h",
      "new_id": "89a903c61ad71fa44d4275d5299fb3ab3b576482",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/process.h"
    },
    {
      "type": "modify",
      "old_id": "e1128e535eecb1c4d8e7afc39a268996d2329a1b",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/thread.h",
      "new_id": "2546b1ff7ac7755a7961dbd7c0cb7c75d0c4d765",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/thread.h"
    },
    {
      "type": "modify",
      "old_id": "62adbeff84307fc1847d27d32f9c99d9c99de673",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/thread_config.h",
      "new_id": "67df9c56d933bbd18113e177b9e8d387f0db85dd",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/thread_config.h"
    },
    {
      "type": "modify",
      "old_id": "8ff7b5b5bec0b3e6f59e1eaa1385233f9c32eab3",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/irq_server/irq_server.c",
      "new_id": "04bd3315fe1b176b339290bc558153614778deba",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/irq_server/irq_server.c"
    },
    {
      "type": "modify",
      "old_id": "4e5d4f433aa592a15fc18f87082ddae6c369df5c",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/process.c",
      "new_id": "cff1eb3b41551eb08c72e5f8b3f992ab3e6b6de4",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/process.c"
    },
    {
      "type": "modify",
      "old_id": "195f06949be282cadfe4b7058daf70e735c3dbbf",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/serial_server/parentapi.c",
      "new_id": "216b5a91ce837e165b79047807ba4a93cbf6ab31",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/serial_server/parentapi.c"
    },
    {
      "type": "modify",
      "old_id": "93ecb2bbb43d95261f7050613f3a7a6a2ab3eec5",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/serial_server/serial_server.h",
      "new_id": "e2a12c3094213ced8c417ea0dce808a6942ca939",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/serial_server/serial_server.h"
    },
    {
      "type": "modify",
      "old_id": "f9c56b40b62a007ef959b247896bb14e31891ff9",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/serial_server/server.c",
      "new_id": "23d3a3bca45eed214cd7947595625a608895e62e",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/serial_server/server.c"
    },
    {
      "type": "modify",
      "old_id": "e56866306232256183364bc6d1b04cb4b4609ad9",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/thread.c",
      "new_id": "05041a95bf8edd78aaa334f7c15588867a1f68d4",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/thread.c"
    },
    {
      "type": "modify",
      "old_id": "b222543555204a7981a90c153c6e84f6801db42d",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/capops.h",
      "new_id": "edca08867e2d4ad4d4c86af1fd1ae72dc3e78b49",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/capops.h"
    },
    {
      "type": "modify",
      "old_id": "aa82f7ef8c9ef790079909238e46c2a2d5667a72",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/kobject_t.h",
      "new_id": "de932d44fb0d387bca335a28a2c1c3ed30645962",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "d18019f52087cc27aca8ce134ab802e73153805e",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/object.h",
      "new_id": "22fac3dcd04f0cb7c1dec98018c3052a5d62decb",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/object.h"
    }
  ]
}