1. d645232 AArch32: Enable GIC and TZC support by Soby Mathew · Thu May 05 13:59:07 2016 +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. 1eabdbc Refactor the ARM CoreLink TZC-400 driver by Vikram Kanigiri · Thu Jan 28 17:22:16 2016 +0000