1. fa3cf0b Use SPDX license identifiers by dp-arm · Wed May 03 09:38:09 2017 +0100
  2. 0ffc449 TZC: rename included C file to a header by Antonio Nino Diaz · Tue Feb 28 10:58:25 2017 +0000
  3. d645232 AArch32: Enable GIC and TZC support by Soby Mathew · Thu May 05 13:59:07 2016 +0100
  4. fc71975 Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers by Yatharth Kochar · Fri Apr 08 14:40:44 2016 +0100
  5. 1eabdbc Refactor the ARM CoreLink TZC-400 driver by Vikram Kanigiri · Thu Jan 28 17:22:16 2016 +0000