PIC32 Core Timer and xTimerCreate()

[Ahmad (Ahmad Naeem)]

@aggarg I am sorry that was a typ0, it is 7 the priority of core timer is set to 7.

@aggarg

Can you check that the port uses configMAX_SYSCALL_INTERRUPT_PRIORITY to only disable interrupts upto this priority like this )?

let me confirm please