I am trying to build by enabling SDEI_SUPPORT := 1 and EL3_EXCEPTION_HANDLING := 1 for xilinx platform.
But getting compilation errors
In file included from services/std_svc/sdei/sdei_event.c:11:
services/std_svc/sdei/sdei_private.h:30:3: error: #error Platform must define SDEI critical priority value

30 | # error Platform must define SDEI critical priority value
   |   ^~~~~

services/std_svc/sdei/sdei_private.h:34:3: error: #error Platform must define SDEI normal priority value

34 | # error Platform must define SDEI normal priority value
   |   ^~~~~

Could you please let me know how to build with SDEI enabled?