Jeenu Viswambharan b7cb133e5c BL31: Add SDEI dispatcher ... The implementation currently supports only interrupt-based SDEI events, and supports all interfaces as defined by SDEI specification version 1.0 [1]. Introduce the build option SDEI_SUPPORT to include SDEI dispatcher in BL31. Update user guide and porting guide. SDEI documentation to follow. [1] http://infocenter.arm.com/help/topic/com.arm.doc.den0054a/ARM_DEN0054A_Software_Delegated_Exception_Interface.pdf Change-Id: I758b733084e4ea3b27ac77d0259705565842241a Co-authored-by: Yousuf A <yousuf.sait@arm.com> Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>		2017-11-13 08:38:51 +00:00
..
sdei.h	BL31: Add SDEI dispatcher	2017-11-13 08:38:51 +00:00
secure_partition.h	SPM: Introduce Secure Partition Manager	2017-11-08 18:05:14 +00:00
spm_svc.h	SPM: Introduce Secure Partition Manager	2017-11-08 18:05:14 +00:00
std_svc.h	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00