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
..
plat_common.c	BL31: Add SDEI dispatcher	2017-11-13 08:38:51 +00:00
plat_psci_common.c	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
platform_helpers.S	Add platform hooks for boot redundancy support	2017-10-24 14:04:41 +01:00
platform_mp_stack.S	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
platform_up_stack.S	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00