Can't xSemaphoreGiveFromISR() during HW timer - polling task faster than FreeRTOS tick allows

[hs2 (Hartmut Schaefer)]

@D_TTSA

• What interrupt priority does the FreeRTOS tick handler have?

Usually the lowest prio. See configKERNEL_INTERRUPT_PRIORITY in FreeRTOSConfig.h

@D_TTSA

• What happens if a FreeRTOS tick occurs while we are busy with another IRQ handler?

It’s delayed/kept pending given it has the lowest interrupt prio.

You could/should set your non-FreeRTOS GPT2 interrupt to a (logically) prio >= configMAX_SYSCALL_INTERRUPT_PRIORITY +1 if you want to avoid any interference with the FreeRTOS part (interrupts/critical sections) of your application.
Then and with nested interrupts enabled (default) your GPT2 interrupt will interrupt any other running ISR of an interrupt with a logically lower prio.