diff --git a/docs/porting-guide.rst b/docs/porting-guide.rst index de05e03..ec613c8 100644 --- a/docs/porting-guide.rst +++ b/docs/porting-guide.rst @@ -2041,9 +2041,9 @@ Critical SDEI events on the platform. This must have a lower value (therefore of higher priority) than ``PLAT_SDEI_NORMAL_PRI``. -It's recommended that SDEI exception priorities in general are assigned the -lowest among Secure priorities. Among the SDEI exceptions, Critical SDEI -priority must be higher than Normal SDEI priority. +**Note**: SDEI exception priorities must be the lowest among Secure priorities. +Among the SDEI exceptions, Critical SDEI priority must be higher than Normal +SDEI priority. Functions .........