commit | 04e3a7f67f40bfd45fc7b6b26bc79b8c59c0381f | [log] [tgz] |
---|---|---|
author | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | Mon Oct 16 08:43:14 2017 +0100 |
committer | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | Mon Nov 13 08:38:51 2017 +0000 |
tree | 433b74c05447effe493478659701ac64776310e1 | |
parent | 6c6f24d5c32deb4d624b581e3e4f28b096e3805e [diff] |
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>