)]}'
{
  "commit": "b3ae0e904060ea0276cee1ea58c2bcc52c46f3c6",
  "tree": "3c7c23387ad01d77b5bab844abe6ca4d51a3519e",
  "parents": [
    "b8e98a32ab92affff7b3bfe5277c415462824ca5"
  ],
  "author": {
    "name": "Sam Leffler",
    "email": "sleffler@google.com",
    "time": "Sun Oct 02 22:25:19 2022 +0000"
  },
  "committer": {
    "name": "Sam Leffler",
    "email": "sleffler@google.com",
    "time": "Sun Oct 02 22:46:19 2022 +0000"
  },
  "message": "libsel4platsupport: fix seL4_DebugPutChar detection\n\nSerial console support can fall back to using seL4_DebugPutChar. But\nit does this based on the kernel\u0027s CONFIG_DEBUG_BUILD config parameter\nwhich is wrong--the support is actually based on CONFIG_PRINTING which\nis implictly enabled when CONFIG_DEBUG_BUILD is set. This is confirmed\nby the fact the actual usage of seL4_DebugPutChar is conditional on\nCONFIG_PRINTING. Replace CONFIG_DEBUG_BUILD use with CONFIG_PRINTING.\n\nThis has the added benefit of fixing sel4test serial server test cases\nwhen a release build is used.\n\nBug: 250071553\n\nChange-Id: I50cc2c898be43ff95f4c8fa53c6ed7bb3446bca2\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "38dfdca47fa67563fb09756392920aa2f87e546b",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/common.c",
      "new_id": "3958d851827917bf8f075cb848a256f6881c94ad",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/common.c"
    }
  ]
}