Is there any way to free a semaphore from a priority 0 interrupt?

[aggarg (Gaurav Aggarwal)]

@recently

This does not work because the timer-interrupt has a priority of 0,

Can you not change the priority of this interrupt? See here for explanation - Understanding priority levels of ISR and FreeRTOS APIs - #16 by aggarg