1. fa3cf0b Use SPDX license identifiers by dp-arm · Wed May 03 09:38:09 2017 +0100
  2. fc71975 Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers by Yatharth Kochar · Fri Apr 08 14:40:44 2016 +0100
  3. 411ac8f Add ARM CoreLink DMC-500 driver to program TrustZone protection by Vikram Kanigiri · Fri Jan 29 11:37:04 2016 +0000