)]}'
{
  "commit": "b85c30be1b0da1d050f1812cdc724fc5e78df0ae",
  "tree": "1a5248895a5a1c2f68db4252268d6be1df20c8ee",
  "parents": [],
  "author": {
    "name": "TrustworthySystems",
    "email": "gatekeeper@sel4.systems",
    "time": "Tue Jul 22 14:11:33 2014 +1000"
  },
  "committer": {
    "name": "Adrian Danis",
    "email": "Adrian.Danis@nicta.com.au",
    "time": "Tue Jul 22 14:11:33 2014 +1000"
  },
  "message": "Release snapshot\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0279788cbcfb3714f7e26a3a64f387bc7b3efd33",
      "new_mode": 33188,
      "new_path": "Kbuild"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d2fcc6bbf30e2b31a6d4b0b0ff546c43ec165bfb",
      "new_mode": 33188,
      "new_path": "Kconfig"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "85cda3e9c7e3a6a540a443422288fa70eeca4328",
      "new_mode": 33188,
      "new_path": "LICENSE_BSD2.txt"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "ab9fd5977b261b0d8c58d0fa70c74822472fcbeb",
      "new_mode": 33188,
      "new_path": "Makefile"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d8dc1184b6a60b1441896b8aecd3c04383a7fca2",
      "new_mode": 33188,
      "new_path": "arch_include/arm/sel4utils/arch/util.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "21faac19c47b0fb6726fb817989e060f80dd420a",
      "new_mode": 33188,
      "new_path": "arch_include/ia32/sel4utils/arch/util.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "90714bc2d90771d115260ed94741603b5e234646",
      "new_mode": 33188,
      "new_path": "arch_include/ia64/sel4utils/arch/util.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "de1561de66a543c560ba43543968b311dd10b782",
      "new_mode": 33188,
      "new_path": "include/sel4utils/client_server_vspace.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2348bc1ba65c24b2c955719714be712ffe05cf7a",
      "new_mode": 33188,
      "new_path": "include/sel4utils/elf.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "f0b967b2717e02941b2a344a9e9bebfc574a6990",
      "new_mode": 33188,
      "new_path": "include/sel4utils/mapping.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "4e0d909b51a9360b90aea49c2afde1f4a8783e7f",
      "new_mode": 33188,
      "new_path": "include/sel4utils/process.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "07ad5291f6608d9f7d91642b86889a680c370776",
      "new_mode": 33188,
      "new_path": "include/sel4utils/profile.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e1358c4cecdeefb96d314f098ee3ab1d65efd4a9",
      "new_mode": 33188,
      "new_path": "include/sel4utils/sel4_debug.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "02e639e1e2c957a40b2c1e9a7f9a18718287003c",
      "new_mode": 33188,
      "new_path": "include/sel4utils/stack.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0f665a8b1895d100b64243bced72905ed81acf71",
      "new_mode": 33188,
      "new_path": "include/sel4utils/thread.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a6a59d4cf3f20ff97ad17d7d01e5e9f712bbcb07",
      "new_mode": 33188,
      "new_path": "include/sel4utils/util.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "252e6352c9aa2a83344ddf8fd8f24c126c228f58",
      "new_mode": 33188,
      "new_path": "include/sel4utils/vspace.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "f1b78b2057e3088158f3d0268b3a610b241c822b",
      "new_mode": 33188,
      "new_path": "include/sel4utils/vspace_internal.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "734439f10fb2e96dbcf85251dc7c7c4c98b6b1bd",
      "new_mode": 33188,
      "new_path": "src/elf.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d9d02dad2d03b54393bc36edb5d926c8a48c16ad",
      "new_mode": 33188,
      "new_path": "src/helpers.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "fe97abf2f9c931d85e0f82e05dd18027a3e42dbd",
      "new_mode": 33188,
      "new_path": "src/mapping.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2d4ce9868220a764ed1e6cfd7b7b125da8a7e689",
      "new_mode": 33188,
      "new_path": "src/process.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "fb2dac8b293cba92850c271130a0276d32debf69",
      "new_mode": 33188,
      "new_path": "src/profile.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "da8ac356697d8ff4eff3acd1b9330b865d380025",
      "new_mode": 33188,
      "new_path": "src/sel4_debug.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7fca7a7f6e536d0ee53cd00b85700a385497890d",
      "new_mode": 33188,
      "new_path": "src/stack.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c0f998faa34920644c991509d55ff1180a77f0b3",
      "new_mode": 33188,
      "new_path": "src/thread.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "243b82b1724110e73ad0dced69290de1f6c6471b",
      "new_mode": 33188,
      "new_path": "src/vspace/bootstrap.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "689acc8ddf788fe6aa8adf00e4b0e56de5f19498",
      "new_mode": 33188,
      "new_path": "src/vspace/client_server_vspace.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c8b8a16244b6cb9bdb1af05188a8743282939eb8",
      "new_mode": 33188,
      "new_path": "src/vspace/vspace.c"
    }
  ]
}