)]}'
{
  "commit": "dd02025f89e9813fd39ff875d3c81056ccfc0bbc",
  "tree": "19462b0356d05fc1a5dca507699b685a7439df8f",
  "parents": [
    "6de224998b2482bae13685251ef13bf76a50f5a1"
  ],
  "author": {
    "name": "Christopher Guikema",
    "email": "chrisguikema@users.noreply.github.com",
    "time": "Mon Sep 06 02:19:41 2021 -0400"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Mon Sep 06 16:19:41 2021 +1000"
  },
  "message": "sel4utils: properly cache ept pages (#43)\n\nA kernel bug previously always cached EPT page regardless of the\r\ncacheable flag. When the bug was fixed, this function would always map\r\nEPT pages as uncacheable, due to the attributes difference between an\r\nEPT map and a normal page map. This commit checks if the function is\r\nmapping an EPT and provides the proper cache attribute to the kernel.\r\n\r\nSigned-off-by: Chris Guikema \u003cchris.guikema@dornerworks.com\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "31db2c5150d8321692654c968500866437db1b50",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/mapping.c",
      "new_id": "f315be8204f5a1a4987058ec3a4bbaeafc016022",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/mapping.c"
    }
  ]
}