)]}'
{
  "commit": "e8088af40d674fb8ac3a23874afea74ed1868d5c",
  "tree": "c954a475a5e1e83859a844fcf27cfaa3e3404dab",
  "parents": [
    "76c532f7704d02401bc57079966ab57bc90e1223"
  ],
  "author": {
    "name": "Anna Lyons",
    "email": "Anna.Lyons@data61.csiro.au",
    "time": "Thu Aug 10 11:41:46 2017 +1000"
  },
  "committer": {
    "name": "Anna Lyons",
    "email": "Anna.Lyons@data61.csiro.au",
    "time": "Mon Aug 21 17:25:54 2017 +1000"
  },
  "message": "Add scheduling context support in seL4_libs\n\nOnly works if CONFIG_KERNEL_RT is enabled, however most of the code\nis compiled no mater what to lighten the maintenance burden\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a3313ee559154ff5a03161dc52baaaf2e362e6d0",
      "old_mode": 33188,
      "old_path": "libsel4simple-default/src/libsel4simple-default.c",
      "new_id": "536c29eca0a40a06851e26d577af444c6c3aa4ce",
      "new_mode": 33188,
      "new_path": "libsel4simple-default/src/libsel4simple-default.c"
    },
    {
      "type": "modify",
      "old_id": "505b544734118be5885f8f7c5f70e36a09aac94a",
      "old_mode": 33188,
      "old_path": "libsel4simple/include/simple/simple.h",
      "new_id": "e73a493b4371f58df8a5b4b2432da20a1981dd80",
      "new_mode": 33188,
      "new_path": "libsel4simple/include/simple/simple.h"
    },
    {
      "type": "modify",
      "old_id": "7abe9cdbc11723c21abcfa5b0e084a6f4359a09d",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/process.h",
      "new_id": "ec3731c79f3298297d6d223ec0de1665fdf4b198",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/process.h"
    },
    {
      "type": "modify",
      "old_id": "8c6aeeee688601e01a9241d82b662321ae8102b1",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/process_config.h",
      "new_id": "f60764b41d12f1dd0fa40bd5beba28b2282232f8",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/process_config.h"
    },
    {
      "type": "modify",
      "old_id": "138aba70c0ea895c61b62f88fc4e6d0ec4b2ce8a",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/thread.h",
      "new_id": "e1128e535eecb1c4d8e7afc39a268996d2329a1b",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/thread.h"
    },
    {
      "type": "modify",
      "old_id": "169b8ada65b0133e80c091f985abb225865f2e40",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/thread_config.h",
      "new_id": "62adbeff84307fc1847d27d32f9c99d9c99de673",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/thread_config.h"
    },
    {
      "type": "modify",
      "old_id": "5f67eccf5197157f42c23bf349c61b497da63cde",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/process.c",
      "new_id": "4e5d4f433aa592a15fc18f87082ddae6c369df5c",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/process.c"
    },
    {
      "type": "modify",
      "old_id": "98399ee3a8ecd8188da29c740850e2d5ee0e0d61",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/thread.c",
      "new_id": "7d4214995eaada37ad28103170c5f1e363a7398b",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/thread.c"
    },
    {
      "type": "modify",
      "old_id": "4a21499575819061c886ff5c050458370c0fb832",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/kobject_t.h",
      "new_id": "aa82f7ef8c9ef790079909238e46c2a2d5667a72",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "fc3fa8fbc123591a1e2d2383225e8bbd476fc27c",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/object.h",
      "new_id": "d18019f52087cc27aca8ce134ab802e73153805e",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/object.h"
    },
    {
      "type": "modify",
      "old_id": "252002b623120d987020fc88e747e11f782f8a70",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vmm.h",
      "new_id": "597f96b26f42db4c895f59c25cb125414372f488",
      "new_mode": 33188,
      "new_path": "libsel4vmm/include/vmm/vmm.h"
    },
    {
      "type": "modify",
      "old_id": "9338ecac133a144e7f6e9d075080a3e4e1aacca2",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/boot.c",
      "new_id": "1b92d1fdaaf0f12e4b0b5d5f1adaa6472fee7b62",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/boot.c"
    }
  ]
}