1. ed6ff95 Split platform.h into separate headers by Dan Handley · 10 years ago
  2. 9f71f70 Non-Secure Interrupt support during Standard SMC processing in TSP by Soby Mathew · 11 years ago
  3. 7671789 Add support for synchronous FIQ handling in TSP by Achin Gupta · 11 years ago