tree 433b74c05447effe493478659701ac64776310e1
parent 6c6f24d5c32deb4d624b581e3e4f28b096e3805e
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1508139794 +0100
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1510562331 +0000

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>