From b7cb133e5c56f149024a56873216f0c198aa9635 Mon Sep 17 00:00:00 2001 From: Jeenu Viswambharan Date: Mon, 16 Oct 2017 08:43:14 +0100 Subject: 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 Signed-off-by: Jeenu Viswambharan --- make_helpers/defaults.mk | 3 +++ 1 file changed, 3 insertions(+) (limited to 'make_helpers') diff --git a/make_helpers/defaults.mk b/make_helpers/defaults.mk index 7299dc4d..660e54e7 100644 --- a/make_helpers/defaults.mk +++ b/make_helpers/defaults.mk @@ -114,6 +114,9 @@ RESET_TO_BL31 := 0 # For Chain of Trust SAVE_KEYS := 0 +# Software Delegated Exception support +SDEI_SUPPORT := 0 + # Whether code and read-only data should be put on separate memory pages. The # platform Makefile is free to override this value. SEPARATE_CODE_AND_RODATA := 0 -- cgit v1.2.3