1. 844b487 Mark GICV3, CCI and CCN boot time code as init by Daniel Boulby · Tue Sep 18 13:36:39 2018 +0100
  2. fa3cf0b Use SPDX license identifiers by dp-arm · Wed May 03 09:38:09 2017 +0100
  3. 7659a26 Introduce utils.h header file by Sandrine Bailleux · Tue Jul 05 09:55:03 2016 +0100
  4. fbb1301 Rework use of interconnect drivers by Vikram Kanigiri · Mon Feb 15 11:54:14 2016 +0000