1. bc29733 rpi3: Fix warm entrypoint setup for PSCI_CPU_ON by Antonio Nino Diaz · Sat Jul 14 01:22:43 2018 +0100
  2. 6942f05 rpi3: Implement PSCI_SYSTEM_OFF by Antonio Nino Diaz · Sat Jul 14 02:15:51 2018 +0100
  3. ae6779e rpi3: Introduce AArch64 Raspberry Pi 3 port by Antonio Nino Diaz · Mon Nov 06 14:49:04 2017 +0000