1. 2b4054d SDEI: Fix type of register count by Jeenu Viswambharan · 7 years ago
  2. cf1f221 SDEI: Add API for explicit dispatch by Jeenu Viswambharan · 7 years ago
  3. 04e3a7f BL31: Add SDEI dispatcher by Jeenu Viswambharan · 7 years ago
  4. c41f206 SPM: Introduce Secure Partition Manager by Antonio Nino Diaz · 7 years ago
  5. fa3cf0b Use SPDX license identifiers by dp-arm · 8 years ago
  6. 8da8966 PSCI: Do psci_setup() as part of std_svc_setup() by Soby Mathew · 8 years ago
  7. d019487 Introduce PSCI Library Interface by Soby Mathew · 9 years ago
  8. 0d78607 Introduce `el3_runtime` and `PSCI` libraries by Soby Mathew · 9 years ago