I notice configMAX_PRIORITIES is set to 4 in this port. Could you please explain to me why it is set to 4
No particular reason. It seemed sufficient.
It is configurable. See more here:
Yup I was aware it was configurable, just wanted to know if there was any reasoning behind it that is all