1. 391a76e Add 32 bit version of plat_get_syscnt_freq by Antonio Nino Diaz · 9 years ago
  2. 1ff495b Ensure BL31 does not print to boot console by default by Soby Mathew · 9 years ago
  3. 70716d6 PSCI: Add deprecated API for SPD when compatibility is disabled by Soby Mathew · 9 years ago
  4. e998254 Make enablement of the MMU more flexible by Achin Gupta · 10 years ago
  5. 2d55240 Remove all checkpatch errors from codebase by Juan Castillo · 10 years ago
  6. b226a4d Add enable mmu platform porting interfaces by Dan Handley · 11 years ago