TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / sandbox / pfalcon / trusted-firmware-a / b968241faf9455f461fc896d9c62fbb902559311 / include / services
  1. b968241 SDEI: Fix type of register count by Jeenu Viswambharan · 8 years ago
  2. 55a1266 SDEI: Add API for explicit dispatch by Jeenu Viswambharan · 8 years ago
  3. b7cb133 BL31: Add SDEI dispatcher by Jeenu Viswambharan · 8 years ago
  4. 2fccb22 SPM: Introduce Secure Partition Manager by Antonio Nino Diaz · 8 years ago
  5. 82cb2c1 Use SPDX license identifiers by dp-arm · 8 years ago
  6. 58e946a PSCI: Do psci_setup() as part of std_svc_setup() by Soby Mathew · 9 years ago
  7. cf0b149 Introduce PSCI Library Interface by Soby Mathew · 9 years ago
  8. 532ed61 Introduce `el3_runtime` and `PSCI` libraries by Soby Mathew · 9 years ago