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

..

tbbr

Support Trusted OS firmware extra images in TF tools

2017-08-09 18:06:05 +08:00

build_env.mk

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00

build_macros.mk

Build: introduce ${BUILD_PLAT} target to create the top build directory

2017-11-07 00:35:21 +09:00

cygwin.mk

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00

defaults.mk

BL31: Add SDEI dispatcher

2017-11-13 08:38:51 +00:00

msys.mk

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00

plat_helpers.mk

Use SPDX license identifiers

2017-05-03 09:39:28 +01:00

unix.mk

Merge pull request #926 from EvanLloyd/win_make_4

2017-05-08 23:32:52 +01:00

windows.mk

Merge pull request #926 from EvanLloyd/win_make_4

2017-05-08 23:32:52 +01:00