configKERNEL_INTERRUPT_PRIORITY on Cortex-R4
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 :)