1. ed4fc6f Disable processor Cycle Counting in Secure state by Antonio Nino Diaz · 6 years ago
  2. 29a2413 drivers: generic_delay_timer: Assert presence of Generic Timer by Antonio Nino Diaz · 6 years ago
  3. 2559b2c xlat v2: Dynamically detect need for CnP bit by Antonio Nino Diaz · 7 years ago
  4. 09d40e0 Sanitise includes across codebase by Antonio Nino Diaz · 7 years ago
  5. f5478de Reorganize architecture-dependent header files by Antonio Nino Diaz · 7 years ago[Renamed from include/lib/aarch32/arch.h]
  6. 3f99f7e Merge pull request #1731 from miyatsu/doc-fix-20181225 by Antonio Niño Díaz · 7 years ago