1. 04e3a7f BL31: Add SDEI dispatcher by Jeenu Viswambharan · Mon Oct 16 08:43:14 2017 +0100
  2. fa3cf0b Use SPDX license identifiers by dp-arm · Wed May 03 09:38:09 2017 +0100
  3. 4ef91f1 Simplify translation tables headers dependencies by Antonio Nino Diaz · Mon Feb 20 14:22:22 2017 +0000
  4. 391a76e Add 32 bit version of plat_get_syscnt_freq by Antonio Nino Diaz · Wed May 18 16:53:31 2016 +0100
  5. 1ff495b Ensure BL31 does not print to boot console by default by Soby Mathew · Wed Dec 09 11:28:43 2015 +0000
  6. 70716d6 PSCI: Add deprecated API for SPD when compatibility is disabled by Soby Mathew · Mon Jul 13 16:26:11 2015 +0100
  7. e998254 Make enablement of the MMU more flexible by Achin Gupta · Thu Jun 26 08:59:07 2014 +0100
  8. 2d55240 Remove all checkpatch errors from codebase by Juan Castillo · Fri Jun 13 17:05:10 2014 +0100
  9. b226a4d Add enable mmu platform porting interfaces by Dan Handley · Fri May 16 14:08:45 2014 +0100