[BUG] PIC32MZ port, clearing IFS0CLR vPortYieldISR

[KammutierSpule]

On PIC32MZ port,
vPortYieldISR

    /* Clear the interrupt in the interrupt controller. */
    la      s6, IFS0CLR

it uses IFS0CLR,

but if I use a different time with configTICK_INTERRUPT_VECTOR,
the propose of "Clear the interrupt in the interrupt controller" won't work?

[kstribrnAmzn]

I was able to find this old post which looks to be asking the same question as you ("How can I change the timer source?").

The answer should still stand. Instructions for updating the timer source can be found here.

[kstribrnAmzn]

Page 14-6 of this PIC32MZ document outlines how to clear other timers.