)]}'
{
  "commit": "ed5b378acea59d30094f94f214dc657b439ba24f",
  "tree": "bde3691dc231c58567cce8ecfefb42d198eaff97",
  "parents": [
    "e6a0ee352f748966ce565488182a9a5b730c0a1b"
  ],
  "author": {
    "name": "Damon Lee",
    "email": "Damon.Lee@data61.csiro.au",
    "time": "Tue Aug 06 15:14:59 2019 +1000"
  },
  "committer": {
    "name": "Lee, Damon (Data61, Kensington NSW)",
    "email": "Damon.Lee@data61.csiro.au",
    "time": "Mon Aug 19 14:40:29 2019 +1000"
  },
  "message": "libsel4platsupport: Add mini IRQ interface\n\nThe new mini IRQ interface covers the common use case where there\u0027s only\na few interrupts to manage and these can fit into a single\nnotification\u0027s badge space. This also avoids the unneeded complexity\nthat the standard IRQ interface offers.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d0426e3c309d981b920a422bc5d29f99ef7db3ae",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/include/sel4platsupport/irq.h",
      "new_id": "2d40c79b1892c63977b346c95898a413c1d9b0b7",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/include/sel4platsupport/irq.h"
    },
    {
      "type": "modify",
      "old_id": "fef4948b827dc4c8c26db14652dd9dae8162e327",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/irq.c",
      "new_id": "f7bbc739e16b964b132272e28cae4719e7f4d114",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/irq.c"
    }
  ]
}