configKERNEL_INTERRUPT_PRIORITY on Cortex-R4

hello,
the documentation on how to configure the Cortex-R4 port (http://www.freertos.org/Free_RTOS_for_TI_RM48_and_TMS570.html) talk about configKERNEL_INTERRUPT_PRIORITY and configMAX_SYSCALL_INTERRUPT_PRIORITY but they don’t appear anywhere in the port.
the specific topic about them (http://www.freertos.org/a00110.html#kernel_priority) says that configMAX_SYSCALL_INTERRUPT_PRIORITY is for Cortex-A/M and configKERNEL_INTERRUPT_PRIORITY is for Cortex-M3 only.
any plan to add them for the Cortex-R4? else can you explain why not to use them on this MCU?
thank you :)
Phil.

configKERNEL_INTERRUPT_PRIORITY on Cortex-R4

Sorry – that does look like a mistake.  Currently a full nesting model is provided for Cortex-A and Cortex-M.  The R port may get updated to provide the full nesting model too, but I can’t guarantee when. Regards.